]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d82900f) | patch
workaround for an assertion failure during rendering (missing sort of some ids)
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 28 Jul 2005 10:48:26 +0000 (10:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 28 Jul 2005 10:48:26 +0000 (10:48 +0000)
commitd02c611bd8da3ea28305958fd9ec4798f20d56d8
tree8860d78437dc42aed4036f21ad9127b6bb39612atree | snapshot
parentd82900f9e0850c9015ca7f5d226831c85fe073a8commit | diff
workaround for an assertion failure during rendering (missing sort of some ids)
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.