]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7755221) | patch
Previous patch improved: we now use an ad-hoc wrapper for Grammar.parsable
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Dec 2010 22:58:13 +0000 (22:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Dec 2010 22:58:13 +0000 (22:58 +0000)
commit4e7e01cd771c07b3605ba54d3853ac34a02cb86d
tree2ed3a088585a6c12d36f630b491f67282a37e304tree | snapshot
parent77552219608b573dc360b6bb7a52aa5344235959commit | diff
Previous patch improved: we now use an ad-hoc wrapper for Grammar.parsable
in order to localize all Obj.magic --- related to use of Ulexing in Camlp5 ---
in GrafiteParser (as they used to be).
matita/components/grafite_parser/grafiteParser.ml diff | blob | history
matita/components/grafite_parser/grafiteParser.mli diff | blob | history
matita/matita/matitaEngine.ml diff | blob | history
matita/matita/matitaEngine.mli diff | blob | history
matita/matita/matitaScript.ml diff | blob | history
matita/matita/nlibrary/Plogic/connectives.ma diff | blob | history
matita/matita/nlibrary/Plogic/equality.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.