]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9c6cae) | patch
Matitaweb: large commit porting to the new Matita 0.95 syntax.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 14 Dec 2011 13:51:15 +0000 (13:51 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 14 Dec 2011 13:51:15 +0000 (13:51 +0000)
commit928af763320668168206e88d93e8a77698f3b925
treec91cfe8ee5eb600d191d4e129545ef1aa600730ftree | snapshot
parentc9c6cae5121a25b05450ea42578f14f74569cfbfcommit | diff
Matitaweb: large commit porting to the new Matita 0.95 syntax.
Integrates some old patches.
Fixes a bug with GotoPos which prevented errors from being shown.
14 files changed:
matitaB/components/content_pres/cicNotationParser.ml diff | blob | history
matitaB/components/content_pres/cicNotationParser.mli diff | blob | history
matitaB/components/grafite/grafiteAst.ml diff | blob | history
matitaB/components/grafite/grafiteAstPp.ml diff | blob | history
matitaB/components/grafite_engine/grafiteEngine.ml diff | blob | history
matitaB/components/grafite_engine/nCicCoercDeclaration.ml diff | blob | history
matitaB/components/grafite_engine/nCicCoercDeclaration.mli diff | blob | history
matitaB/components/grafite_parser/grafiteParser.ml diff | blob | history
matitaB/components/ng_kernel/nCic.ml diff | blob | history
matitaB/components/ng_kernel/nCicPp.ml diff | blob | history
matitaB/components/ng_tactics/nDestructTac.ml diff | blob | history
matitaB/components/ng_tactics/nDestructTac.mli diff | blob | history
matitaB/components/ng_tactics/nTactics.mli diff | blob | history
matitaB/matita/matitaweb.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.