CHANGES 583 Bytes
Newer Older
1

2
  o why3config --conf_file is replaced by -C and --config
3 4
  o TPTP : encoding is not anymore the default for tptp provers.
  It is now forbidden to use explicit with enumeration.
5 6 7 8 9 10
  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
11 12 13 14 15

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

  o first public release. See release notes in manual