]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f694a8) | patch
First attempt at svn commit of developments.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 6 Sep 2011 12:00:20 +0000 (12:00 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 6 Sep 2011 12:00:20 +0000 (12:00 +0000)
commitacf77bb24694158a57444c7f32da46ceac8b30c4
treee13f4882b236bf90e69ed0cc3d9d653da94a7c18tree | snapshot
parent8f694a82e3291e4a3c2a4f805782846204cf348ccommit | diff
First attempt at svn commit of developments.
Fixes a problem with hyperlinks (the </A> tag was not consumed correctly
if it appeared at the end of a command/tactic).
16 files changed:
matitaB/components/METAS/meta.helm-extlib.src diff | blob | history
matitaB/components/content_pres/cicNotationLexer.ml diff | blob | history
matitaB/components/content_pres/cicNotationParser.ml diff | blob | history
matitaB/components/extlib/hExtlib.ml diff | blob | history
matitaB/components/extlib/hExtlib.mli diff | blob | history
matitaB/components/ng_disambiguation/nCicDisambiguate.ml diff | blob | history
matitaB/matita/Makefile diff | blob | history
matitaB/matita/index.html diff | blob | history
matitaB/matita/matitaEngine.ml diff | blob | history
matitaB/matita/matitaEngine.mli diff | blob | history
matitaB/matita/matitaFilesystem.ml diff | blob | history
matitaB/matita/matitaFilesystem.mli diff | blob | history
matitaB/matita/matitaScript.ml diff | blob | history
matitaB/matita/matitadaemon.ml diff | blob | history
matitaB/matita/matitaweb.js diff | blob | history
matitaB/matita/netplex.conf diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.