From 4aa536218b796fedb9c5540754dd1be280f6ba62 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 12 Oct 2009 20:08:36 +0000 Subject: [PATCH] ... --- helm/software/matita/dist/ChangeLog | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog index 17bd3330a..f00f59e57 100644 --- a/helm/software/matita/dist/ChangeLog +++ b/helm/software/matita/dist/ChangeLog @@ -24,6 +24,13 @@ * non uniform context support: * arbitrary tactics can be called to attack a goal (hardcoded at the OCaml level), for now just apply and intro + * new installation: + * the standard library (now we have two of them) is not + distributed pre-compiled + * standard library .ma files can be included from everywhere since + they are in a standard path + * including a file of the standard library triggers its compilation + in the user's space 0.5.7 - 15/02/2009 - Pàdoa release * are_convertible bug solved, arguments of application where -- 2.39.2