From 3a430d712f9d87185e9271b7b0c5188c5f311e4b Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 6 May 2016 15:37:58 +0000 Subject: [PATCH] pre commit for matita version 0.99.3 --- matita/configure.ac | 2 +- matita/matita/dist/ChangeLog | 12 ++++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-) diff --git a/matita/configure.ac b/matita/configure.ac index 5eb678a70..0670278be 100644 --- a/matita/configure.ac +++ b/matita/configure.ac @@ -5,7 +5,7 @@ AC_INIT(matita/matitaTypes.ml) DEBUG_DEFAULT="true" DEFAULT_DBHOST="mysql://mowgli.cs.unibo.it" RT_BASE_DIR_DEFAULT="`pwd`/matita" -MATITA_VERSION="0.99.2" +MATITA_VERSION="0.99.3" DISTRIBUTED="yes" # "yes" for distributed tarballs # End of distribution settings diff --git a/matita/matita/dist/ChangeLog b/matita/matita/dist/ChangeLog index 866d69fda..3185e857c 100644 --- a/matita/matita/dist/ChangeLog +++ b/matita/matita/dist/ChangeLog @@ -1,3 +1,15 @@ +0.99.3 - 06/05/2016 - beta version for the 1.x series + * cyclic sort hierarchies are now allowed through the "cyclic" keyword + * new syntax for let rec/corec with flavor specifier + * optional parameters added to the syntax of definitions + * new attribute "Implied" put beside "Generated" and "Provided"; + it denotes an object provided not as defined by the user, but as generated by another ITP + * the command "defined" is added as a presentational alternative to "qed" for definitions + * improved standard library and contributions + * improved binaries using matita components + * source code updated for the latest version of OCaml and related tools + * several bug fixes + 0.99.1 - 17/11/2011 - alpha version for the 1.x series * old kernel, unification, etc. removed * new compact syntax for tactics -- 2.39.2