]> matita.cs.unibo.it Git - helm.git/commit
removed ancient "interface" dir
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:19:48 +0000 (17:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:19:48 +0000 (17:19 +0000)
commit74d9faf4c6bd9abfb84934d6897a1ab98f9027d2
tree899b83287c8b996ee4939df7f381d989b885639f
parenteee11205456555dec423fca2a849c9ceb2585ac3
removed ancient "interface" dir
67 files changed:
helm/interface/.cvsignore [deleted file]
helm/interface/.depend [deleted file]
helm/interface/AUTHORS [deleted file]
helm/interface/COPYING [deleted file]
helm/interface/ChangeLog [deleted file]
helm/interface/Makefile.in [deleted file]
helm/interface/NEWS [deleted file]
helm/interface/README [deleted file]
helm/interface/TEMPI [deleted file]
helm/interface/WGET [deleted file]
helm/interface/annotation2Xml.ml [deleted file]
helm/interface/annotationParser.ml [deleted file]
helm/interface/annotationParser2.ml [deleted file]
helm/interface/cic.ml [deleted file]
helm/interface/cic2Xml.ml [deleted file]
helm/interface/cicAnnotationHinter.ml [deleted file]
helm/interface/cicCache.ml [deleted file]
helm/interface/cicCache.mli [deleted file]
helm/interface/cicCooking.ml [deleted file]
helm/interface/cicCooking.mli [deleted file]
helm/interface/cicFindParameters.ml [deleted file]
helm/interface/cicParser.ml [deleted file]
helm/interface/cicParser.mli [deleted file]
helm/interface/cicParser2.ml [deleted file]
helm/interface/cicParser2.mli [deleted file]
helm/interface/cicParser3.ml [deleted file]
helm/interface/cicParser3.mli [deleted file]
helm/interface/cicPp.ml [deleted file]
helm/interface/cicPp.mli [deleted file]
helm/interface/cicReduction.ml [deleted file]
helm/interface/cicReduction.mli [deleted file]
helm/interface/cicSubstitution.ml [deleted file]
helm/interface/cicSubstitution.mli [deleted file]
helm/interface/cicTypeChecker.ml [deleted file]
helm/interface/cicTypeChecker.mli [deleted file]
helm/interface/cicXPath.ml [deleted file]
helm/interface/clientHTTP.ml [deleted file]
helm/interface/config.cache.pkg [deleted file]
helm/interface/configuration.ml.in [deleted file]
helm/interface/configure.in [deleted file]
helm/interface/deannotate.ml [deleted file]
helm/interface/experiment.ml [deleted file]
helm/interface/fix_params.ml [deleted file]
helm/interface/getter.ml [deleted file]
helm/interface/getter.mli [deleted file]
helm/interface/helm_gtk_interface.spec.in [deleted file]
helm/interface/helm_wget.in [deleted file]
helm/interface/mmlinterface.ml [deleted file]
helm/interface/pxpUriResolver.ml [deleted file]
helm/interface/reduction.ml [deleted file]
helm/interface/styleConfiguration.ml [deleted file]
helm/interface/theory.ml [deleted file]
helm/interface/theoryCache.ml [deleted file]
helm/interface/theoryParser.ml [deleted file]
helm/interface/theoryParser2.ml [deleted file]
helm/interface/theoryTypeChecker.ml [deleted file]
helm/interface/toglie_helm_xref.pl [deleted file]
helm/interface/toglie_helm_xref.sh [deleted file]
helm/interface/uriManager.ml [deleted file]
helm/interface/uriManager.ml.implementazione_banale [deleted file]
helm/interface/uriManager.ml.implementazione_doppia [deleted file]
helm/interface/uriManager.ml.implementazione_semplice [deleted file]
helm/interface/uriManager.mli [deleted file]
helm/interface/uris_of_filenames.pl [deleted file]
helm/interface/xml.ml [deleted file]
helm/interface/xml.mli [deleted file]
helm/interface/xsltProcessor.ml [deleted file]