matita.cs.unibo.it Git - helm.git/commit - helm/interface/fix

]> matita.cs.unibo.it Git - helm.git/commit - helm/interface/fix_params.ml

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 16 Dec 2003 17:19:48 +0000 (17:19 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 16 Dec 2003 17:19:48 +0000 (17:19 +0000)
commit	74d9faf4c6bd9abfb84934d6897a1ab98f9027d2
tree	899b83287c8b996ee4939df7f381d989b885639f	tree \| snapshot
parent	eee11205456555dec423fca2a849c9ceb2585ac3	commit \| diff

removed ancient "interface" dir

67 files changed:

helm/interface/.cvsignore	[deleted file]	blob \| history
helm/interface/.depend	[deleted file]	blob \| history
helm/interface/AUTHORS	[deleted file]	blob \| history
helm/interface/COPYING	[deleted file]	blob \| history
helm/interface/ChangeLog	[deleted file]	blob \| history
helm/interface/Makefile.in	[deleted file]	blob \| history
helm/interface/NEWS	[deleted file]	blob \| history
helm/interface/README	[deleted file]	blob \| history
helm/interface/TEMPI	[deleted file]	blob \| history
helm/interface/WGET	[deleted file]	blob \| history
helm/interface/annotation2Xml.ml	[deleted file]	blob \| history
helm/interface/annotationParser.ml	[deleted file]	blob \| history
helm/interface/annotationParser2.ml	[deleted file]	blob \| history
helm/interface/cic.ml	[deleted file]	blob \| history
helm/interface/cic2Xml.ml	[deleted file]	blob \| history
helm/interface/cicAnnotationHinter.ml	[deleted file]	blob \| history
helm/interface/cicCache.ml	[deleted file]	blob \| history
helm/interface/cicCache.mli	[deleted file]	blob \| history
helm/interface/cicCooking.ml	[deleted file]	blob \| history
helm/interface/cicCooking.mli	[deleted file]	blob \| history
helm/interface/cicFindParameters.ml	[deleted file]	blob \| history
helm/interface/cicParser.ml	[deleted file]	blob \| history
helm/interface/cicParser.mli	[deleted file]	blob \| history
helm/interface/cicParser2.ml	[deleted file]	blob \| history
helm/interface/cicParser2.mli	[deleted file]	blob \| history
helm/interface/cicParser3.ml	[deleted file]	blob \| history
helm/interface/cicParser3.mli	[deleted file]	blob \| history
helm/interface/cicPp.ml	[deleted file]	blob \| history
helm/interface/cicPp.mli	[deleted file]	blob \| history
helm/interface/cicReduction.ml	[deleted file]	blob \| history
helm/interface/cicReduction.mli	[deleted file]	blob \| history
helm/interface/cicSubstitution.ml	[deleted file]	blob \| history
helm/interface/cicSubstitution.mli	[deleted file]	blob \| history
helm/interface/cicTypeChecker.ml	[deleted file]	blob \| history
helm/interface/cicTypeChecker.mli	[deleted file]	blob \| history
helm/interface/cicXPath.ml	[deleted file]	blob \| history
helm/interface/clientHTTP.ml	[deleted file]	blob \| history
helm/interface/config.cache.pkg	[deleted file]	blob \| history
helm/interface/configuration.ml.in	[deleted file]	blob \| history
helm/interface/configure.in	[deleted file]	blob \| history
helm/interface/deannotate.ml	[deleted file]	blob \| history
helm/interface/experiment.ml	[deleted file]	blob \| history
helm/interface/fix_params.ml	[deleted file]	blob \| history
helm/interface/getter.ml	[deleted file]	blob \| history
helm/interface/getter.mli	[deleted file]	blob \| history
helm/interface/helm_gtk_interface.spec.in	[deleted file]	blob \| history
helm/interface/helm_wget.in	[deleted file]	blob \| history
helm/interface/mmlinterface.ml	[deleted file]	blob \| history
helm/interface/pxpUriResolver.ml	[deleted file]	blob \| history
helm/interface/reduction.ml	[deleted file]	blob \| history
helm/interface/styleConfiguration.ml	[deleted file]	blob \| history
helm/interface/theory.ml	[deleted file]	blob \| history
helm/interface/theoryCache.ml	[deleted file]	blob \| history
helm/interface/theoryParser.ml	[deleted file]	blob \| history
helm/interface/theoryParser2.ml	[deleted file]	blob \| history
helm/interface/theoryTypeChecker.ml	[deleted file]	blob \| history
helm/interface/toglie_helm_xref.pl	[deleted file]	blob \| history
helm/interface/toglie_helm_xref.sh	[deleted file]	blob \| history
helm/interface/uriManager.ml	[deleted file]	blob \| history
helm/interface/uriManager.ml.implementazione_banale	[deleted file]	blob \| history
helm/interface/uriManager.ml.implementazione_doppia	[deleted file]	blob \| history
helm/interface/uriManager.ml.implementazione_semplice	[deleted file]	blob \| history
helm/interface/uriManager.mli	[deleted file]	blob \| history
helm/interface/uris_of_filenames.pl	[deleted file]	blob \| history
helm/interface/xml.ml	[deleted file]	blob \| history
helm/interface/xml.mli	[deleted file]	blob \| history
helm/interface/xsltProcessor.ml	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom