- if Pcre.pmatch ~pat:"cicbrowser$" Sys.argv.(0) then begin
- ignore (MatitaMathView.cicBrowser ~disambiguator ~currentProof ())
- end else begin
+ if Pcre.pmatch ~pat:"cicbrowser$" Sys.argv.(0) then begin (* cicbrowser *)
+ let browser = MatitaMathView.cicBrowser ~disambiguator () in
+ Helm_registry.set "matita.mode" "cicbrowser";
+ try
+ browser#loadUri Sys.argv.(1)
+ with Invalid_argument _ -> ()
+ end else begin (* matita *)
+ Helm_registry.set "matita.mode" "matita";