- The README file now includes information about Storm's license,   design characteristics and features, and instructions for setting   up a development environment.  Thanks to Gabriel Grant for helping   write and test the setup notes [trivial].
- The README file now includes information about Storm's license,
  design characteristics and features, and instructions for setting
  up a development environment.  Thanks to Gabriel Grant for helping
  write and test the setup notes [trivial].

petrhosek/storm,PyMamba/mamba-storm,PyMamba/mamba-storm,PyMamba/mamba-storm,petrhosek/storm,petrhosek/storm