matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 3 Nov 2010 14:13:11 +0000 (14:13 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 3 Nov 2010 14:13:11 +0000 (14:13 +0000)
commit	cd664aefb80554952ed9b010f0c5199ce3a6f8f2
tree	d06b1cc07e35dfb5deab76e447eee2dd9022b108	tree \| snapshot
parent	a5709dff43233c041f77a4ee4b7f2df1a3c51ab6	commit \| diff

- LexiconAst merged into GrafiteAst
- all lexicon stuff made functional (more or less)
- no more .lexicon files

38 files changed:

matita/components/grafite/grafiteAst.ml		diff \| blob \| history
matita/components/grafite/grafiteAstPp.ml		diff \| blob \| history
matita/components/grafite/grafiteAstPp.mli		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.mli		diff \| blob \| history
matita/components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteTypes.mli		diff \| blob \| history
matita/components/grafite_parser/.depend		diff \| blob \| history
matita/components/grafite_parser/cicNotation2.mli		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.mli		diff \| blob \| history
matita/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteParser.mli		diff \| blob \| history
matita/components/lexicon/.depend		diff \| blob \| history
matita/components/lexicon/Makefile		diff \| blob \| history
matita/components/lexicon/cicNotation.ml	[deleted file]	blob \| history
matita/components/lexicon/cicNotation.mli	[deleted file]	blob \| history
matita/components/lexicon/lexiconAst.ml	[deleted file]	blob \| history
matita/components/lexicon/lexiconAstPp.ml	[deleted file]	blob \| history
matita/components/lexicon/lexiconAstPp.mli	[deleted file]	blob \| history
matita/components/lexicon/lexiconEngine.ml		diff \| blob \| history
matita/components/lexicon/lexiconEngine.mli		diff \| blob \| history
matita/components/lexicon/lexiconMarshal.ml	[deleted file]	blob \| history
matita/components/lexicon/lexiconMarshal.mli	[deleted file]	blob \| history
matita/components/lexicon/lexiconSync.ml		diff \| blob \| history
matita/components/lexicon/lexiconSync.mli		diff \| blob \| history
matita/components/lexicon/lexiconTypes.ml	[new file with mode: 0644]	blob
matita/components/lexicon/lexiconTypes.mli	[new file with mode: 0644]	blob
matita/components/ng_library/nCicLibrary.mli		diff \| blob \| history
matita/components/statuses.txt		diff \| blob \| history
matita/matita/.depend		diff \| blob \| history
matita/matita/matitaEngine.ml		diff \| blob \| history
matita/matita/matitaEngine.mli		diff \| blob \| history
matita/matita/matitaExcPp.ml		diff \| blob \| history
matita/matita/matitaGui.ml		diff \| blob \| history
matita/matita/matitaMathView.ml		diff \| blob \| history
matita/matita/matitaScript.ml		diff \| blob \| history
matita/matita/matitacLib.ml		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom