]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3994194) | patch
added magic numbers
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Sep 2005 08:57:00 +0000 (08:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Sep 2005 08:57:00 +0000 (08:57 +0000)
commita82fc7fac28ab55650be57a127c3e3230981f72d
treeecd55940e2b4e0f99b58fc8d95eef7d0b3dc3c5ftree | snapshot
parent39941948a2a6b2d390fb667b273eebd6deba7cfdcommit | diff
added magic numbers
they must be increased each time the data structures dumped in .moo file are changed!!!!
helm/ocaml/cic_notation/cicNotationPt.ml diff | blob | history
helm/ocaml/cic_notation/grafiteAst.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.