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

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

author	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Tue, 6 Dec 2011 13:51:48 +0000 (13:51 +0000)
committer	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Tue, 6 Dec 2011 13:51:48 +0000 (13:51 +0000)
commit	04168c737e0916ebdbcdb1457f228bef670c657b
tree	257f7df390c62ce924e45f304d8cdf7dd6951051	tree \| snapshot
parent	24fc5e5485245fe879e17d46176530b688930b3b	commit \| diff

Matitaweb:
1) Added disambiguation error diagnostics, with web GUI
2) Detached MultiPassDisambiguator (still waiting to purge the code, though)
3) Detached stand alone GUI (i.e. matita and matita.opt)

17 files changed:

matitaB/components/disambiguation/Makefile		diff \| blob \| history
matitaB/components/disambiguation/disambiguate.ml		diff \| blob \| history
matitaB/components/disambiguation/disambiguate.mli		diff \| blob \| history
matitaB/components/disambiguation/multiPassDisambiguator.ml		diff \| blob \| history
matitaB/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matitaB/components/grafite_engine/nCicCoercDeclaration.ml		diff \| blob \| history
matitaB/components/ng_disambiguation/grafiteDisambiguate.ml		diff \| blob \| history
matitaB/components/ng_disambiguation/grafiteDisambiguate.mli		diff \| blob \| history
matitaB/components/ng_disambiguation/nCicDisambiguate.ml		diff \| blob \| history
matitaB/components/ng_disambiguation/nCicDisambiguate.mli		diff \| blob \| history
matitaB/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
matitaB/matita/Makefile		diff \| blob \| history
matitaB/matita/matitaExcPp.ml		diff \| blob \| history
matitaB/matita/matitaInit.ml		diff \| blob \| history
matitaB/matita/matitaScript.ml		diff \| blob \| history
matitaB/matita/matitadaemon.ml		diff \| blob \| history
matitaB/matita/matitaweb.js		diff \| blob \| history

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

RSS Atom