]> matita.cs.unibo.it Git - helm.git/commit
New implementation that uses the new HELM OCaml libraries.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2001 13:12:34 +0000 (13:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2001 13:12:34 +0000 (13:12 +0000)
commit025b60975434f3923071c60618bd1d92794816bf
tree8941b0980bd78c0d69681aeb5ba29c4accd9cc5d
parente97039cc9e0a8e4f992c712a1ccf47c801e1abcc
New implementation that uses the new HELM OCaml libraries.
18 files changed:
helm/metadata/create2/touch/Makefile
helm/metadata/create2/touch/cic.ml [deleted file]
helm/metadata/create2/touch/cicParser.ml [deleted file]
helm/metadata/create2/touch/cicParser.mli [deleted file]
helm/metadata/create2/touch/cicParser2.ml [deleted file]
helm/metadata/create2/touch/cicParser2.mli [deleted file]
helm/metadata/create2/touch/cicParser3.ml [deleted file]
helm/metadata/create2/touch/cicParser3.mli [deleted file]
helm/metadata/create2/touch/clientHTTP.ml [deleted file]
helm/metadata/create2/touch/clientHTTP.mli [deleted file]
helm/metadata/create2/touch/configuration.ml.in [deleted file]
helm/metadata/create2/touch/csc_pxp_reader.ml [deleted file]
helm/metadata/create2/touch/deannotate.ml [deleted file]
helm/metadata/create2/touch/getter.ml [deleted file]
helm/metadata/create2/touch/getter.mli [deleted file]
helm/metadata/create2/touch/pxpUriResolver.ml [deleted file]
helm/metadata/create2/touch/uriManager.ml [deleted file]
helm/metadata/create2/touch/uriManager.mli [deleted file]