From 153b6f35ae08d0904f8fec079133ad3ca1186544 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 17 Nov 2011 00:00:00 +0000
Subject: [PATCH] In preparation of 0.95.1 release.

---
 matita/components/grafite_parser/print_grammar.ml | 6 +++---
 matita/configure.ac                               | 4 ++--
 matita/matita/Makefile                            | 7 +++----
 3 files changed, 8 insertions(+), 9 deletions(-)

diff --git a/matita/components/grafite_parser/print_grammar.ml b/matita/components/grafite_parser/print_grammar.ml
index 5bc87f247..738ceb4da 100644
--- 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 97d8c6673..1c7f064b9 100644
--- 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 0271b714a..bb8486dc3 100644
--- 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
 
-- 
2.39.2