]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab06d96) | patch
Improved management of conclusions, to avoid repetitions.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 24 Jul 2003 11:40:02 +0000 (11:40 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 24 Jul 2003 11:40:02 +0000 (11:40 +0000)
commit6baf07f7ebd9b40e642467f01a66920d9fb1448a
treed60f729bbd695c2f86f5d469039173e9cb532664tree | snapshot
parentab06d9617b863a42a49f9a407694a9605f500b98commit | diff
Improved management of conclusions, to avoid repetitions.
Some problems of xrefs have been fixed.
helm/ocaml/META.helm-cic_omdoc.src diff | blob | history
helm/ocaml/cic_transformations/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.