]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9407bc9) | patch
This commit was manufactured by cvs2svn to create tag 'initial'. initial
authorno author <no.author@nowhere.it>
Mon, 7 Oct 2002 16:25:56 +0000 (16:25 +0000)
committerno author <no.author@nowhere.it>
Mon, 7 Oct 2002 16:25:56 +0000 (16:25 +0000)
commitdcc5749e8534ee245bc89e73f4fb6ca1b99c5fa6
treedda2baef0c6ad5bb528140242f961c124c71ea4etree | snapshot
parent9407bc9826e70029298dd511f4d6cd0803b687bacommit | diff
This commit was manufactured by cvs2svn to create tag 'initial'.
234 files changed:
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0-1.i386.rpm [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0-1.spec [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0-1.src.rpm [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0.tar.gz [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/.depend [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/COPYING [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/Makefile [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/config.make [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/configure.mk [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gMathView.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtk_mathview.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/ml_gtk_mathview.c [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/Makefile [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.xml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/.cvsignore [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/.depend [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/COPYING [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/Makefile [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/configure.mk [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/gMathView.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/gtkMathView.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/gtk_mathview.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/.cvsignore [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/Makefile [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/minidom.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/minidom.mli [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/ml_minidom.c [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/ml_minidom.h [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/ominidom.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/ominidom.mli [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/test.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/minidom/test.xml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/ml_gtk_mathview.c [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/test/.cvsignore [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/test/Makefile [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/test/t1.config [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/test/test.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.2/test/test.xml [new file with mode: 0644] blob
helm/cgi/mkindex.pl [new file with mode: 0755] blob
helm/configuration/local/etc/helm/configuration.dtd [new file with mode: 0644] blob
helm/configuration/local/etc/helm/configuration.xml [new file with mode: 0644] blob
helm/configuration/local/lib/helm/configuration.pl [new file with mode: 0644] blob
helm/dtd/annotations.dtd [new file with mode: 0644] blob
helm/dtd/cic.dtd [new file with mode: 0644] blob
helm/dtd/cicobject.dtd [new file with mode: 0644] blob
helm/dtd/isoamsa.ent [new file with mode: 0644] blob
helm/dtd/isoamsb.ent [new file with mode: 0644] blob
helm/dtd/isoamsc.ent [new file with mode: 0644] blob
helm/dtd/isoamsn.ent [new file with mode: 0644] blob
helm/dtd/isoamso.ent [new file with mode: 0644] blob
helm/dtd/isoamsr.ent [new file with mode: 0644] blob
helm/dtd/isobox.ent [new file with mode: 0644] blob
helm/dtd/isocyr1.ent [new file with mode: 0644] blob
helm/dtd/isocyr2.ent [new file with mode: 0644] blob
helm/dtd/isodia.ent [new file with mode: 0644] blob
helm/dtd/isogrk3.ent [new file with mode: 0644] blob
helm/dtd/isolat1.ent [new file with mode: 0644] blob
helm/dtd/isolat2.ent [new file with mode: 0644] blob
helm/dtd/isomfrk.ent [new file with mode: 0644] blob
helm/dtd/isomopf.ent [new file with mode: 0644] blob
helm/dtd/isomscr.ent [new file with mode: 0644] blob
helm/dtd/isonum.ent [new file with mode: 0644] blob
helm/dtd/isopub.ent [new file with mode: 0644] blob
helm/dtd/isotech.ent [new file with mode: 0644] blob
helm/dtd/mathml2-qname-1.mod [new file with mode: 0644] blob
helm/dtd/mathml2.dtd [new file with mode: 0644] blob
helm/dtd/maththeory.dtd [new file with mode: 0644] blob
helm/dtd/mmlalias.ent [new file with mode: 0644] blob
helm/dtd/mmlextra.ent [new file with mode: 0644] blob
helm/dtd/provastruct.theory.xml [new file with mode: 0644] blob
helm/dtd/theoryobject.dtd [new file with mode: 0644] blob
helm/header/getheader.xml [new file with mode: 0644] blob
helm/header/provaurl [new file with mode: 0644] blob
helm/header/provaurl1 [new file with mode: 0644] blob
helm/header/setheader.xsl [new file with mode: 0644] blob
helm/http_getter/cadet [new file with mode: 0755] blob
helm/http_getter/http_getter.pl [new file with mode: 0755] blob
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
helm/pacchetti/Makefile [new file with mode: 0644] blob
helm/scripts/Makefile [new file with mode: 0644] blob
helm/scripts/makeit [new file with mode: 0755] blob
helm/scripts/start-tomcat [new file with mode: 0755] blob
helm/scripts/start-tomcat-debug [new file with mode: 0755] blob
helm/scripts/stop-tomcat-debug [new file with mode: 0755] blob
helm/scripts/template.cshrc [new file with mode: 0644] blob
helm/scripts/template.rc [new file with mode: 0644] blob
helm/style/annotatedcont.xsl [new file with mode: 0644] blob
helm/style/annotatedcont.xsl.csc [new file with mode: 0644] blob
helm/style/annotatedpres.xsl [new file with mode: 0644] blob
helm/style/basic.xsl [new file with mode: 0644] blob
helm/style/content.xsl [new file with mode: 0644] blob
helm/style/content.xsl.csc [new file with mode: 0644] blob
helm/style/content_senza_tipi.13.9.00.xsl [new file with mode: 0644] blob
helm/style/content_to_html.xsl [new file with mode: 0644] blob
helm/style/html_init.xsl [new file with mode: 0644] blob
helm/style/html_reals.xsl [new file with mode: 0644] blob
helm/style/html_set.xsl [new file with mode: 0644] blob
helm/style/mml2mmlv1_0.xsl [new file with mode: 0644] blob
helm/style/mml2mmlv1_0_original.xsl [new file with mode: 0644] blob
helm/style/mmlextension.xsl [new file with mode: 0644] blob
helm/style/mmlextension_andrea.xsl [new file with mode: 0644] blob
helm/style/mmlextension_irene.xsl [new file with mode: 0644] blob
helm/style/objcontent.xsl [new file with mode: 0644] blob
helm/style/objcontent.xsl.csc [new file with mode: 0644] blob
helm/style/objcontent_old.xsl [new file with mode: 0644] blob
helm/style/params.xsl [new file with mode: 0644] blob
helm/style/proof31-10-00.xsl [new file with mode: 0644] blob
helm/style/proofs.xsl [new file with mode: 0644] blob
helm/style/reals.xsl [new file with mode: 0644] blob
helm/style/ricerca.xsl [new file with mode: 0644] blob
helm/style/rootcontent.xsl [new file with mode: 0644] blob
helm/style/rootcontent_withproofs.xsl [new file with mode: 0644] blob
helm/style/roottheory.xsl [new file with mode: 0644] blob
helm/style/set.xsl [new file with mode: 0644] blob
helm/style/theory_content.xsl [new file with mode: 0644] blob
helm/style/theory_pres.xsl [new file with mode: 0644] blob
helm/xmltheory/Coq_v2theoryxml/.depend [new file with mode: 0644] blob
helm/xmltheory/Coq_v2theoryxml/Makefile [new file with mode: 0644] blob
helm/xmltheory/Coq_v2theoryxml/coq_v2theoryxml.ml [new file with mode: 0644] blob
helm/xmltheory/FakeCoq_vo2xml/README [new file with mode: 0644] blob
helm/xmltheory/FakeCoq_vo2xml/coq_vo2xml [new file with mode: 0755] blob
helm/xmltheory/XmlTheory/.depend [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/COME_COMPILARE [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/Make [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/Makefile [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/README [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/XmlTheory.v [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/iXml.ml [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/iXml.mli [new file with mode: 0644] blob
helm/xmltheory/XmlTheory/xmltheoryentries.ml [new file with mode: 0644] blob
helm/xmltheory/maththeory.dtd [new file with mode: 0644] blob
helm/xsltd/Makefile [new file with mode: 0644] blob
helm/xsltd/cadet [new file with mode: 0755] blob
helm/xsltd/isterix [new file with mode: 0755] blob
helm/xsltd/xaland-cpp/xaland.cpp [new file with mode: 0644] blob
helm/xsltd/xaland-java/rompi.class [new file with mode: 0644] blob
helm/xsltd/xaland-java/rompi.java [new file with mode: 0644] blob
helm/xsltd/xaland-java/sped.class [new file with mode: 0644] blob
helm/xsltd/xaland-java/sped.java [new file with mode: 0644] blob
helm/xsltd/xaland-java/xaland.class [new file with mode: 0644] blob
helm/xsltd/xaland-java/xaland.java [new file with mode: 0644] blob
helm/xsltd/xaland-java/xaland.java.prima_del_loro_baco [new file with mode: 0644] blob
helm/xsltd/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset [new file with mode: 0644] blob
helm/xsltd/xaland-java2/xaland2.class [new file with mode: 0644] blob
helm/xsltd/xaland-java2/xaland2.java [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.