From e2718488c73b2cdf20b26af46e80a11b91fac220 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 26 Dec 2018 22:17:21 +0100 Subject: [PATCH] 0.99.3 -> 0.99.4 --- matita/configure.ac | 2 +- matita/matita/dist/ChangeLog | 25 ++++++++++++++++--------- 2 files changed, 17 insertions(+), 10 deletions(-) diff --git a/matita/configure.ac b/matita/configure.ac index e3bb73990..c5094d4c6 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.3" +MATITA_VERSION="0.99.4" DISTRIBUTED="yes" # "yes" for distributed tarballs # End of distribution settings diff --git a/matita/matita/dist/ChangeLog b/matita/matita/dist/ChangeLog index 3185e857c..1f9cd6951 100644 --- a/matita/matita/dist/ChangeLog +++ b/matita/matita/dist/ChangeLog @@ -1,13 +1,20 @@ +0.99.4 - 26/12/2018 - beta version for the 1.x series + * ported to lablgkt3, ulex-camlp5 1.2, ocaml 4.07 + * bug fix: aliases were no longer added automatically to the script + 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 + * 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 -- 2.39.2