]> matita.cs.unibo.it Git - helm.git/commit
1) Matitaweb now disambiguates scripts as it runs them
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 20 Jul 2011 15:34:52 +0000 (15:34 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 20 Jul 2011 15:34:52 +0000 (15:34 +0000)
commitdee464f8cd331524663167659d1fad01e558d4e1
tree820eaaf1ecf81c92752431dbfd75c17c6697871a
parentd83fa3d6e3604bcc596840219f3998d795630d66
1) Matitaweb now disambiguates scripts as it runs them

2) Fixed bugs in HTML escaping (also changed the syntax of annotations in
   matita scripts)
18 files changed:
matitaB/components/METAS/meta.helm-syntax_extensions.src
matitaB/components/content_pres/cicNotationLexer.ml
matitaB/components/content_pres/cicNotationParser.ml
matitaB/components/content_pres/smallLexer.ml
matitaB/components/content_pres/smallLexer.mli
matitaB/components/grafite_engine/grafiteEngine.ml
matitaB/components/ng_disambiguation/grafiteDisambiguate.ml
matitaB/components/ng_disambiguation/grafiteDisambiguate.mli
matitaB/components/syntax_extensions/Makefile
matitaB/components/syntax_extensions/make_table.ml
matitaB/components/syntax_extensions/utf8MacroTable.ml
matitaB/matita/Makefile
matitaB/matita/lib/basics/logic.ma
matitaB/matita/matitaEngine.ml
matitaB/matita/matitaScriptLexer.ml
matitaB/matita/matitaScriptLexer.mli
matitaB/matita/matitadaemon.ml
matitaB/matita/matitaweb.js