]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38e1ee1) | patch
Initial revision
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 14:20:30 +0000 (14:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 14:20:30 +0000 (14:20 +0000)
commitc01d2aaea05f7385bee46addd900cd0397756389
tree8880037b4b2701a7a3f4510430ce3ad5602734c9tree | snapshot
parent38e1ee1df7be76922343935255e26673af8c7682commit | diff
Initial revision
88 files changed:
helm/interface/.depend [new file with mode: 0644] blob
helm/interface/ISTRUZIONI [new file with mode: 0644] blob
helm/interface/Makefile [new file with mode: 0644] blob
helm/interface/NON_VA [new file with mode: 0644] blob
helm/interface/PER_FARLO_ANDARE [new file with mode: 0644] blob
helm/interface/PER_FARLO_ANDARE_TCSH [new file with mode: 0644] blob
helm/interface/PER_FARLO_ANDARE_TCSH_D01 [new file with mode: 0644] blob
helm/interface/README [new file with mode: 0644] blob
helm/interface/TEMPI [new file with mode: 0644] blob
helm/interface/WGET [new file with mode: 0644] blob
helm/interface/annotation2Xml.ml [new file with mode: 0644] blob
helm/interface/annotationParser.ml [new file with mode: 0644] blob
helm/interface/annotationParser2.ml [new file with mode: 0644] blob
helm/interface/cadet [new file with mode: 0755] blob
helm/interface/cic.ml [new file with mode: 0644] blob
helm/interface/cic2Xml.ml [new file with mode: 0644] blob
helm/interface/cicAnnotationHinter.ml [new file with mode: 0644] blob
helm/interface/cicCache.ml [new file with mode: 0644] blob
helm/interface/cicCache.mli [new file with mode: 0644] blob
helm/interface/cicCooking.ml [new file with mode: 0644] blob
helm/interface/cicCooking.mli [new file with mode: 0644] blob
helm/interface/cicFindParameters.ml [new file with mode: 0644] blob
helm/interface/cicParser.ml [new file with mode: 0644] blob
helm/interface/cicParser.mli [new file with mode: 0644] blob
helm/interface/cicParser2.ml [new file with mode: 0644] blob
helm/interface/cicParser2.mli [new file with mode: 0644] blob
helm/interface/cicParser3.ml [new file with mode: 0644] blob
helm/interface/cicParser3.mli [new file with mode: 0644] blob
helm/interface/cicPp.ml [new file with mode: 0644] blob
helm/interface/cicPp.mli [new file with mode: 0644] blob
helm/interface/cicReduction.ml [new file with mode: 0644] blob
helm/interface/cicReduction.mli [new file with mode: 0644] blob
helm/interface/cicSubstitution.ml [new file with mode: 0644] blob
helm/interface/cicSubstitution.mli [new file with mode: 0644] blob
helm/interface/cicTypeChecker.ml [new file with mode: 0644] blob
helm/interface/cicTypeChecker.mli [new file with mode: 0644] blob
helm/interface/cicXPath.ml [new file with mode: 0644] blob
helm/interface/cicXPath.prima_degli_identificatori.ml [new file with mode: 0644] blob
helm/interface/configuration.ml [new file with mode: 0644] blob
helm/interface/deannotate.ml [new file with mode: 0644] blob
helm/interface/experiment.ml [new file with mode: 0644] blob
helm/interface/fix_params.ml [new file with mode: 0644] blob
helm/interface/getter.ml [new file with mode: 0644] blob
helm/interface/getter.mli [new file with mode: 0644] blob
helm/interface/gmon.out [new file with mode: 0644] blob
helm/interface/http_getter/http_getter.pl [new file with mode: 0755] blob
helm/interface/http_getter/http_getter.pl2 [new file with mode: 0755] blob
helm/interface/isterix [new file with mode: 0755] blob
helm/interface/javacore15005.txt [new file with mode: 0644] blob
helm/interface/javacore15021.txt [new file with mode: 0644] blob
helm/interface/latinize.pl [new file with mode: 0755] blob
helm/interface/mkindex.sh [new file with mode: 0755] blob
helm/interface/mml.dtd [new file with mode: 0644] blob
helm/interface/mml.ml [new file with mode: 0644] blob
helm/interface/mmlinterface.ml [new file with mode: 0755] blob
helm/interface/mmlinterface.opt.saved [new file with mode: 0755] blob
helm/interface/pxpUriResolver.ml [new file with mode: 0644] blob
helm/interface/reduction.ml [new file with mode: 0644] blob
helm/interface/servers.txt [new file with mode: 0644] blob
helm/interface/servers.txt.example [new file with mode: 0644] blob
helm/interface/servers.txt.universita [new file with mode: 0755] blob
helm/interface/theory.ml [new file with mode: 0644] blob
helm/interface/theoryCache.ml [new file with mode: 0644] blob
helm/interface/theoryParser.ml [new file with mode: 0644] blob
helm/interface/theoryParser2.ml [new file with mode: 0644] blob
helm/interface/theoryTypeChecker.ml [new file with mode: 0644] blob
helm/interface/toglie_helm_xref.pl [new file with mode: 0755] blob
helm/interface/toglie_helm_xref.sh [new file with mode: 0755] blob
helm/interface/uriManager.ml [new file with mode: 0644] blob
helm/interface/uriManager.ml.implementazione_banale [new file with mode: 0644] blob
helm/interface/uriManager.ml.implementazione_doppia [new file with mode: 0644] blob
helm/interface/uriManager.ml.implementazione_semplice [new file with mode: 0644] blob
helm/interface/uriManager.mli [new file with mode: 0644] blob
helm/interface/uris_of_filenames.pl [new file with mode: 0755] blob
helm/interface/urls_of_uris.db [new file with mode: 0644] blob
helm/interface/xaland-cpp/xaland.cpp [new file with mode: 0644] blob
helm/interface/xaland-java/rompi.class [new file with mode: 0644] blob
helm/interface/xaland-java/rompi.java [new file with mode: 0644] blob
helm/interface/xaland-java/sped.class [new file with mode: 0644] blob
helm/interface/xaland-java/sped.java [new file with mode: 0644] blob
helm/interface/xaland-java/xaland.class [new file with mode: 0644] blob
helm/interface/xaland-java/xaland.java [new file with mode: 0644] blob
helm/interface/xaland-java/xaland.java.prima_del_loro_baco [new file with mode: 0644] blob
helm/interface/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset [new file with mode: 0644] blob
helm/interface/xaland.class [new file with mode: 0644] blob
helm/interface/xml.ml [new file with mode: 0644] blob
helm/interface/xml.mli [new file with mode: 0644] blob
helm/interface/xsltProcessor.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.