]> matita.cs.unibo.it Git - helm.git/commit
* Preliminary porting to ocaml-3.04 and to gdome completed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Feb 2002 13:55:10 +0000 (13:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Feb 2002 13:55:10 +0000 (13:55 +0000)
commit26992ee777bcfe3aa4d9dcd5166ff78864c8f623
tree03936497137789c9ffe9678403f2177e41982a52
parent4c9123ced31cede42e5cc1e19d701a6f6e5e9d6b
* Preliminary porting to ocaml-3.04 and to gdome completed.
helm/annotationHelper/cicAnnotationHelper.ml
helm/annotationHelper/cicAnnotationHinter.ml
helm/annotationHelper/cicAnnotationHinter.mli