CHANGES 525 Bytes
Newer Older
1

2 3
  o TPTP : encoding is not anymore the default for tptp provers.
  It is now forbidden to use explicit with enumeration.
4 5 6 7 8 9
  o [IDE] source file names are stored in database as relative paths
    to the database, so that databases are now easier to move from a
    machine to another (e.g when they are stored in source control
    repositories)
  o better Gappa output: support for sqrt, for
    negative constants
10 11 12 13 14

version 0.63, Dec 21, 2010
==========================

  o first public release. See release notes in manual