From d0d1e16fcdc9d0a11317376a8ad41bd7ceadd5ed Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 16 Nov 2008 10:33:10 +0000 Subject: [PATCH] ... --- helm/software/matita/dist/ChangeLog | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog index 264ba1ede..f03ee5e9e 100644 --- a/helm/software/matita/dist/ChangeLog +++ b/helm/software/matita/dist/ChangeLog @@ -1,6 +1,10 @@ -0.5.5 - _/11/2008 - bugfix release +0.5.5 - 17/11/2008 - bugfix release with students in mind * by ... we proved fixed to use only the specified lemmas but using full unification inside auto. + * new apply rule tactic, that exploits the goal type to + disambiguate the input term. + * new didactic/ library directory, with support for natural deduction + treese. 0.5.4 - 19/10/2008 - bugfix release * When a file is opened, the cursor is placed at the begin of the -- 2.39.2