]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65e8f1b) | patch
camlp5 probably changed some internal data structures and now they cannot be compared...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 Oct 2010 13:25:32 +0000 (13:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 Oct 2010 13:25:32 +0000 (13:25 +0000)
commitb7e730726f5c5ba9b53b80d3881bcacd38a11a67
tree289b9350f28a44699bce4298fa68acff6be059ectree | snapshot
parent65e8f1ba961ef81c5604168e7f1c891063c1ec76commit | diff
camlp5 probably changed some internal data structures and now they cannot be compared with pervasives.comapre, thus we avoid it. Was breaking the natural deduction stuff
helm/software/components/content_pres/cicNotationParser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.