]> matita.cs.unibo.it Git - helm.git/commit
This commit was manufactured by cvs2svn to create branch lablgtk_gtkmathview
authorno author <no.author@nowhere.it>
Mon, 6 Nov 2000 14:02:43 +0000 (14:02 +0000)
committerno author <no.author@nowhere.it>
Mon, 6 Nov 2000 14:02:43 +0000 (14:02 +0000)
commit641a8444c685a8762fac7e6b764a6ae4fba423b8
treee8009512223c7da8b546ce8cc2f362a39ef076e4
parent34d83812af9b7064cc8f735c2a78169881140010
This commit was manufactured by cvs2svn to create branch
'lablgtk_gtkmathview'.
149 files changed:
helm/configuration/install [deleted file]
helm/configuration/local/etc/helm/configuration.dtd [deleted file]
helm/configuration/local/etc/helm/configuration.xml [deleted file]
helm/configuration/local/lib/helm/configuration.pl [deleted file]
helm/interface/.cvsignore [deleted file]
helm/interface/.depend [deleted file]
helm/interface/ISTRUZIONI [deleted file]
helm/interface/Makefile [deleted file]
helm/interface/NON_VA [deleted file]
helm/interface/PER_FARLO_ANDARE [deleted file]
helm/interface/PER_FARLO_ANDARE_TCSH [deleted file]
helm/interface/PER_FARLO_ANDARE_TCSH_D01 [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/cadet [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/cicXPath.prima_degli_identificatori.ml [deleted file]
helm/interface/configuration.ml [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/gmon.out [deleted file]
helm/interface/http_getter/http_getter.pl [deleted file]
helm/interface/isterix [deleted file]
helm/interface/javacore15005.txt [deleted file]
helm/interface/javacore15021.txt [deleted file]
helm/interface/latinize.pl [deleted file]
helm/interface/mkindex.sh [deleted file]
helm/interface/mml.dtd [deleted file]
helm/interface/mml.ml [deleted file]
helm/interface/mmlinterface.ml [deleted file]
helm/interface/mmlinterface.opt.saved [deleted file]
helm/interface/pxpUriResolver.ml [deleted file]
helm/interface/reduction.ml [deleted file]
helm/interface/servers.txt [deleted file]
helm/interface/servers.txt.example [deleted file]
helm/interface/servers.txt.universita [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/urls_of_uris.db [deleted file]
helm/interface/xaland-cpp/xaland.cpp [deleted file]
helm/interface/xaland-java/rompi.class [deleted file]
helm/interface/xaland-java/rompi.java [deleted file]
helm/interface/xaland-java/sped.class [deleted file]
helm/interface/xaland-java/sped.java [deleted file]
helm/interface/xaland-java/xaland.class [deleted file]
helm/interface/xaland-java/xaland.java [deleted file]
helm/interface/xaland-java/xaland.java.prima_del_loro_baco [deleted file]
helm/interface/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset [deleted file]
helm/interface/xaland.class [deleted file]
helm/interface/xml.ml [deleted file]
helm/interface/xml.mli [deleted file]
helm/interface/xsltProcessor.ml [deleted file]
helm/style/annotatedcont.xsl [deleted file]
helm/style/annotatedcont.xsl.csc [deleted file]
helm/style/annotatedpres.xsl [deleted file]
helm/style/basic.xsl [deleted file]
helm/style/content.xsl [deleted file]
helm/style/content.xsl.csc [deleted file]
helm/style/content_senza_tipi.13.9.00.xsl [deleted file]
helm/style/content_to_html.xsl [deleted file]
helm/style/html_init.xsl [deleted file]
helm/style/html_reals.xsl [deleted file]
helm/style/html_set.xsl [deleted file]
helm/style/mml2mmlv1_0.xsl [deleted file]
helm/style/mml2mmlv1_0_original.xsl [deleted file]
helm/style/mmlextension.xsl [deleted file]
helm/style/mmlextension_andrea.xsl [deleted file]
helm/style/mmlextension_irene.xsl [deleted file]
helm/style/objcontent.xsl [deleted file]
helm/style/objcontent.xsl.csc [deleted file]
helm/style/objcontent_old.xsl [deleted file]
helm/style/params.xsl [deleted file]
helm/style/proof31-10-00.xsl [deleted file]
helm/style/proofs.xsl [deleted file]
helm/style/reals.xsl [deleted file]
helm/style/ricerca.xsl [deleted file]
helm/style/rootcontent.xsl [deleted file]
helm/style/rootcontent_withproofs.xsl [deleted file]
helm/style/roottheory.xsl [deleted file]
helm/style/set.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/annotatedcont.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/annotatedcont.xsl.csc [deleted file]
helm/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/basic.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/content.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/content.xsl.csc [deleted file]
helm/style/style_prima_del_linguaggio_naturale/content_to_html.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/html_init.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/html_reals.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/html_set.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0_original.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/mmlextension.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/mmlextension_andrea.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/mmlextension_irene.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/objcontent.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/objcontent.xsl.csc [deleted file]
helm/style/style_prima_del_linguaggio_naturale/objcontent_old.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/params.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/reals.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/ricerca.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/rootcontent_withproofs.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/roottheory.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/set.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/theory_content.xsl [deleted file]
helm/style/style_prima_del_linguaggio_naturale/theory_pres.xsl [deleted file]
helm/style/theory_content.xsl [deleted file]
helm/style/theory_pres.xsl [deleted file]