From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Wed, 9 Nov 2011 14:48:55 +0000 (+0000)
Subject: Matitaweb: fixes compilation errors and minor graphical problems.
X-Git-Tag: make_still_working~2123
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=704bbf749f44396c1a610f336b4e1cf0d25e9370

Matitaweb: fixes compilation errors and minor graphical problems.
---

diff --git a/matitaB/components/grafite/grafiteAstPp.ml b/matitaB/components/grafite/grafiteAstPp.ml
index 78bb51971..d4d312bd2 100644
--- a/matitaB/components/grafite/grafiteAstPp.ml
+++ b/matitaB/components/grafite/grafiteAstPp.ml
@@ -59,7 +59,7 @@ let rec pp_ntactic status ~map_unicode_to_tex =
   | NAuto (_,(None,flgs)) ->
       "nautobatch" ^
         String.concat " " (List.map (fun a,b -> a ^ "=" ^ b) flgs)
-  | NAuto (_,(Some l,flgs)) ->
+  | NAuto (_,(Some (_,l),flgs)) ->
       "nautobatch" ^ " by " ^
          (String.concat "," (List.map (NotationPp.pp_term status) l)) ^
         String.concat " " (List.map (fun a,b -> a ^ "=" ^ b) flgs)
diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index f0baa4ed0..81fa956e1 100644
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -214,7 +214,7 @@ let eval_statement include_paths (* (buffer : GText.buffer) *) status (* script
           ->
           let l = match l with
           | None -> None
-          | Some _,l' -> Some (List.map (fun x -> "",0,x) l')
+          | Some (_,l') -> Some (List.map (fun x -> "",0,x) l')
           in
           let trace_ref = ref [] in
           let status = NnAuto.auto_tac ~params:(l,a) ~trace_ref status in
diff --git a/matitaB/matita/matitaweb.css b/matitaB/matita/matitaweb.css
index cc9629e87..32d68f983 100644
--- a/matitaB/matita/matitaweb.css
+++ b/matitaB/matita/matitaweb.css
@@ -191,7 +191,7 @@ div.toolbar {
 	margin-left: auto;
 	margin-right: auto;
 	height:100%; 
-	width:350px;
+	width:400px;
         float:left; 
 }