SLIM (1.0.0)  -- 2009/11/18
  * LTL Model Checking
    * support LTL formula
    * support never claim
  * Nondeterministic execution
    * implement canonical membrane representation
    * replace membrane isomorphism testing
    * improve membrane hashing algorithm
    * drastic memory reduction
    * change output format
  * support external interface to C
  * support profiling for runtime
  * support new uniq constraint
  * support translation LMNtal to C
  * add LMNtal libralies
  * add -p option for profiling
  * add --mem-enc option
  * add --compact-stack option
  * remove --nd_result option
  * remove --nd_dump option
  * many bug fixes

SLIM (0.4.0)  -- 2008/11/7
  * The conv_il was integrated to SLIM.
  * Internal compilation
   - You can give a LMNtal code to SLIM directly.
  * Model Checking Mode
  * support optimization flag
  * support system libralies
  * support -I option
  * Bug fixes

SLIM (0.3.0) -- 2008/03/04 00:55
  * module system is available

SLIM (0.2.0) -- 2008/02/21 08:55
  * new features SHOULD be described here

SLIM (0.1.0) -- 2007/10/13 17:30
  * new features SHOULD be described here
