]> matita.cs.unibo.it Git - helm.git/commit
Main code clean-up.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Dec 2001 14:52:07 +0000 (14:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Dec 2001 14:52:07 +0000 (14:52 +0000)
commitf6e4a271838bc59f3b22e68a282dc995776360cb
tree3ea5b6b1079354ddf764c11a5a45800343a31c0b
parentff6eee275d22bd158f9ccd451aaae0cb61659a6e
Main code clean-up.
helm/annotationHelper/cicAnnotationHelper.ml
helm/annotationHelper/cicAnnotationHinter.ml
helm/annotationHelper/cicAnnotationHinter.mli
helm/fix_params/cic2Xml.ml
helm/fix_params/cicFindParameters.ml
helm/metadata/create2/mk_forward/mk_forward.ml
helm/metadata/create2/touch/touch.ml