Matitaweb: fixes compilation errors and minor graphical problems.

diff --git a/matitaB/components/grafite/grafiteAstPp.ml b/matitaB/components/grafite/grafiteAstPp.ml
index 78bb51971e1ab5ec595f370be2b519d831d6bf95..d4d312bd2b455c38489f81c50ee53e046f1cfd0f 100644 (file)
--- 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 f0baa4ed0a08c22fa72ea4c10605e21887aae8de..81fa956e1161b87855080b26a7882bb647c57b40 100644 (file)
--- 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 cc9629e87b45d30c366fee215bc772378ab3fb87..32d68f983bdc8788d8039c8353ee541a98c3bd51 100644 (file)
--- 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; 
 }