In preparation of 0.95.1 release.

diff --git a/matita/components/grafite_parser/print_grammar.ml b/matita/components/grafite_parser/print_grammar.ml
index 5bc87f247296fba632b30781bcef587f4a6256b3..738ceb4dabbac9349a75a8195996d079dd7246b6 100644 (file)
--- a/matita/components/grafite_parser/print_grammar.ml
+++ b/matita/components/grafite_parser/print_grammar.ml
@@ -87,7 +87,7 @@ and is_symbol_dummy = function
   | Smeta (_, lt, _) -> List.for_all is_symbol_dummy lt
   | Snterm e | Snterml (e, _) -> is_entry_dummy e
   | Slist1 x | Slist0 x -> is_symbol_dummy x
-  | Slist1sep (x,y) | Slist0sep (x,y) -> is_symbol_dummy x && is_symbol_dummy y
+  | Slist1sep (x,y,false) | Slist0sep (x,y,false) -> is_symbol_dummy x && is_symbol_dummy y
   | Sopt x -> is_symbol_dummy x
   | Sself | Snext -> false
   | Stree t -> is_tree_dummy t
@@ -186,7 +186,7 @@ let visit_description desc fmt self =
         let todo = visit_symbol symbol todo is_son in
         Format.fprintf fmt "@]} @ ";
         todo
-    | Slist0sep (symbol,sep) ->
+    | Slist0sep (symbol,sep,false) ->
         Format.fprintf fmt "[@[<hov2> ";
         let todo = visit_symbol symbol todo is_son in
         Format.fprintf fmt "{@[<hov2> ";
@@ -200,7 +200,7 @@ let visit_description desc fmt self =
         let todo = visit_symbol symbol todo is_son in
         Format.fprintf fmt "@]}+ @ ";
         todo 
-    | Slist1sep (symbol,sep) ->
+    | Slist1sep (symbol,sep,false) ->
         let todo = visit_symbol symbol todo is_son  in
         Format.fprintf fmt "{@[<hov2> ";
         let todo = visit_symbol sep todo is_son in

diff --git a/matita/configure.ac b/matita/configure.ac
index 97d8c66736722056fc68ed56365b0fe635da8f2d..1c7f064b97e30dadf7ac77d4f268e35bb9001986 100644 (file)
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -5,8 +5,8 @@ AC_INIT(matita/matitaTypes.ml)
 DEBUG_DEFAULT="true"
 DEFAULT_DBHOST="mysql://mowgli.cs.unibo.it"
 RT_BASE_DIR_DEFAULT="`pwd`/matita"
-MATITA_VERSION="0.5.8"
-DISTRIBUTED="no"  # "yes" for distributed tarballs
+MATITA_VERSION="0.95.1"
+DISTRIBUTED="yes"  # "yes" for distributed tarballs
 # End of distribution settings
 
 SRCROOT=`pwd`

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 0271b714a5566704a599af382be964fb34532b89..bb8486dc3e9eca38f514a331f1a491a657621597 100644 (file)
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -229,10 +229,8 @@ INSTALL_STUFF =                    \
        matita.gtkrc                    \
        matita.lang                     \
        matita.ma.templ                 \
-       core_notation.moo               \
        matita.conf.xml                 \
        closed.xml                      \
-       gtkmathview.matita.conf.xml     \
        AUTHORS                         \
        LICENSE                         \
        $(NULL)
@@ -263,8 +261,9 @@ endif
        $(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \
                ln -fs matita $(WHERE)/$$p;\
        done
-       $(H)cp -a library/ $(WHERE)/ma/standard-library
-       $(H)cp -a nlibrary/ $(WHERE)/ma/new-standard-library
+       $(H)cp -a lib $(WHERE)/ma/standard-library
+       $(H)rm -r $(WHERE)/ma/standard-library/lambda
+       $(H)rm -r $(WHERE)/ma/standard-library/lambdaN
 
        $(H)touch install_preliminaries.stamp