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

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

author	no author <no.author@nowhere.it>
	Tue, 31 Oct 2000 17:17:10 +0000 (17:17 +0000)
committer	no author <no.author@nowhere.it>
	Tue, 31 Oct 2000 17:17:10 +0000 (17:17 +0000)
commit	3066436c05c4cf6b1c1721e5a8dbcfe9c3659668
tree	6062e78d1985573d0a1146bf7356bd93d24c13d9	tree \| snapshot
parent	aa87f28d3a96456e7cec9493c6533e5c146812e8	commit \| diff

This commit was manufactured by cvs2svn to create branch 'style'.

92 files changed:

helm/configuration/install	[deleted file]	blob \| history
helm/configuration/local/etc/helm/configuration.dtd	[deleted file]	blob \| history
helm/configuration/local/etc/helm/configuration.xml	[deleted file]	blob \| history
helm/configuration/local/lib/helm/configuration.pl	[deleted file]	blob \| history
helm/interface/.cvsignore	[deleted file]	blob \| history
helm/interface/.depend	[deleted file]	blob \| history
helm/interface/ISTRUZIONI	[deleted file]	blob \| history
helm/interface/Makefile	[deleted file]	blob \| history
helm/interface/NON_VA	[deleted file]	blob \| history
helm/interface/PER_FARLO_ANDARE	[deleted file]	blob \| history
helm/interface/PER_FARLO_ANDARE_TCSH	[deleted file]	blob \| history
helm/interface/PER_FARLO_ANDARE_TCSH_D01	[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/cadet	[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/cicXPath.prima_degli_identificatori.ml	[deleted file]	blob \| history
helm/interface/configuration.ml	[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/gmon.out	[deleted file]	blob \| history
helm/interface/http_getter/http_getter.pl	[deleted file]	blob \| history
helm/interface/isterix	[deleted file]	blob \| history
helm/interface/javacore15005.txt	[deleted file]	blob \| history
helm/interface/javacore15021.txt	[deleted file]	blob \| history
helm/interface/latinize.pl	[deleted file]	blob \| history
helm/interface/mkindex.sh	[deleted file]	blob \| history
helm/interface/mml.dtd	[deleted file]	blob \| history
helm/interface/mml.ml	[deleted file]	blob \| history
helm/interface/mmlinterface.ml	[deleted file]	blob \| history
helm/interface/mmlinterface.opt.saved	[deleted file]	blob \| history
helm/interface/pxpUriResolver.ml	[deleted file]	blob \| history
helm/interface/reduction.ml	[deleted file]	blob \| history
helm/interface/servers.txt	[deleted file]	blob \| history
helm/interface/servers.txt.example	[deleted file]	blob \| history
helm/interface/servers.txt.universita	[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/urls_of_uris.db	[deleted file]	blob \| history
helm/interface/xaland-cpp/xaland.cpp	[deleted file]	blob \| history
helm/interface/xaland-java/rompi.class	[deleted file]	blob \| history
helm/interface/xaland-java/rompi.java	[deleted file]	blob \| history
helm/interface/xaland-java/sped.class	[deleted file]	blob \| history
helm/interface/xaland-java/sped.java	[deleted file]	blob \| history
helm/interface/xaland-java/xaland.class	[deleted file]	blob \| history
helm/interface/xaland-java/xaland.java	[deleted file]	blob \| history
helm/interface/xaland-java/xaland.java.prima_del_loro_baco	[deleted file]	blob \| history
helm/interface/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset	[deleted file]	blob \| history
helm/interface/xaland.class	[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