]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e23bc37) | patch
Flattening application contexts uncorrectly changed the proof ids.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Jul 2003 14:01:58 +0000 (14:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Jul 2003 14:01:58 +0000 (14:01 +0000)
commit735b9b35a70420d91d074e8add620f03d7100d1a
tree3107b74e3445681f165fe6e0b06cb57fd699d4e6tree | snapshot
parente23bc37c0a5e552395e499e7b8cee8d610b8e4f4commit | diff
Flattening application contexts uncorrectly changed the proof ids.
helm/ocaml/cic_omdoc/cic2content.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.