nfg release news.

* Version 0.1.0
===============

Verification:
- NuSMV model generation and support for "query win" and "query lose"
- Enabled transitions can be found with "query moves" 
- Token-based encoding for NuSMV that uses mutually exclusive place sets.
- More efficient version of the non-token-based encoding.
- Mutex set generation:
    pnfg now spits out number of BDD booleans, and sets of mutually
    exclusive places.  nfg recognizes emptyable and mutex keywords.

Language changes:
- Support for threads, functions (macros only), timers, hints, counters
- Changes to set operations
- Changed 'elseif () {}' to 'else { if () {} }'

Narrative changes and additions:
- The Count
- Return to Zork Chapters 1 and 2 
- Cloak of Darkness: codfull.pnfg now matches the original cloak.nfg
- Eliminated "read message" flaw in cloak.nfg (thanks to NuSMV!)
- Many smaller .pnfg examples

Early graphical IDE framework (currently not well integrated)

PNFG compiler fixes:
- Fixes to move statements and enter/exit blocks
- Disable (broken) dead code elimination; see bug #5.
- Disable hint actions (redundant, use query moves; -h turns on hints)
- Optimisation levels: -O0 and -O1. -O1 is default, -O0 implies
    -noOptAnd, noOptOutputs 
- Code to optimise && conditionals 
    (turn off with -noOptAnd)
- Code to combine sequential output transitions 
    (turn off with -noOptOutputs)
- Code to generate default global actions if only room actions specified
    (turn off with -noDefaultActions)
- Verbose (-v) and very verbose (-vv) compiler options

Scripts and testing:
- Regression testing with unit tests, solution files, and scripts 
- Some examples that are guaranteed to fail and should generate
  syntax errors.
- Simple script to count objects and rooms

Additional IDEAS and new BUGS

* Version 0.0.2
===============

- Initial pnfg compiler that compiles games to .nfg format, with
  rooms, objects with properties, actions, and a player.
- Support for if statements, sequential and parallel for statements,
  boolean evaluation, sets, and variable bindings.
- Documentation of generated Petri nets in .svg image format according
  to the language feature they implement.
- Generation of .dot files for graphical views of nfg's.
- Cloak of Darkness game in .pnfg format.
- Early scenes from The Count in .pnfg format.

* Version 0.0.1
===============

- Initial nfg interpreter for narrative flow graphs.
- Cloak of Darkness game in .nfg format.