From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 31 Aug 2005 08:28:29 +0000 (+0000)
Subject: (** xxx **) ==> (** xxx *)
X-Git-Tag: working_equations_only~8
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b17f04ca2d984e6a26e4dad9d35b881f64566951;p=helm.git

(** xxx **) ==> (** xxx *)
---

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index 60fc01032..6e074787c 100644
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -43,9 +43,9 @@ let newline_RE = Pcre.regexp "\n"
  
 let comment str =
   if Pcre.pmatch ~rex:multiline_RE str then
-    "\n(** " ^ (Pcre.replace ~rex:newline_RE str) ^ " **)"
+    "\n(** " ^ (Pcre.replace ~rex:newline_RE str) ^ " *)"
   else
-    "\n(**\n" ^ str ^ "\n**)"
+    "\n(**\n" ^ str ^ "\n*)"
                      
 let first_line s =
   let s = Pcre.replace ~rex:heading_nl_RE s in