Release Note for TGC2
---------------------

Version 010.beta
----------------

In comparison with the version 008.beta:

- some errors have been eliminated,

- tested for the additional examples TEST24* - TEST27*,

- some default options have been changed.

Version 008.beta
----------------

In comparison with the version 006.beta:

- the algorithm has been corrected for reasoning in GPDL (Graded Propositional Dynamic Logic), see the TEST23*.txt for examples,

- some errors have been eliminated.

Remarks
-------

The development is still in progress. In particular, it has not been carefully tested and may still contain bugs.