]> matita.cs.unibo.it Git - helm.git/commit
interim version (added smallLexer)
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 13 May 2011 08:55:12 +0000 (08:55 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 13 May 2011 08:55:12 +0000 (08:55 +0000)
commit42680d47c033d751738fd0f84af7b45b2a91a5b8
treef0d0b4db2072936ff647b2188935cf33bef92d10
parent3ffb8f47701d127211a095d3b9f64d363760430f
interim version (added smallLexer)
22 files changed:
matitaB/components/content/notationEnv.ml
matitaB/components/content/notationEnv.mli
matitaB/components/content/notationPp.ml
matitaB/components/content_pres/cicNotationLexer.ml
matitaB/components/content_pres/cicNotationLexer.mli
matitaB/components/content_pres/cicNotationParser.ml
matitaB/components/content_pres/cicNotationParser.mli
matitaB/components/content_pres/interpTable.ml [new file with mode: 0644]
matitaB/components/content_pres/interpTable.mli [new file with mode: 0644]
matitaB/components/content_pres/matitaScriptLexer.ml [new file with mode: 0644]
matitaB/components/content_pres/smallLexer.ml [new file with mode: 0644]
matitaB/components/content_pres/smallLexer.mli [new file with mode: 0644]
matitaB/components/content_pres/termContentPres.ml
matitaB/components/content_pres/termContentPres.mli
matitaB/components/grafite_engine/grafiteEngine.ml
matitaB/components/grafite_parser/grafiteParser.ml
matitaB/matita/Makefile
matitaB/matita/lib/basics/core_notation.ma
matitaB/matita/lib/basics/logic.ma
matitaB/matita/matitaEngine.ml
matitaB/matita/matitaEngine.mli
matitaB/matita/matitaScript.ml