]> matita.cs.unibo.it Git - helm.git/commit
This commit was manufactured by cvs2svn to create branch 'lablgtk'. lablgtk
authorno author <no.author@nowhere.it>
Mon, 6 Nov 2000 14:14:12 +0000 (14:14 +0000)
committerno author <no.author@nowhere.it>
Mon, 6 Nov 2000 14:14:12 +0000 (14:14 +0000)
commit9407bc9826e70029298dd511f4d6cd0803b687ba
treefe0e6273ecb4675fe3c79dcacf6e81f6fb37743c
parent2ee84a2a641938988703e329aef9fc3c5eb5aacf
This commit was manufactured by cvs2svn to create branch 'lablgtk'.
165 files changed:
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0-1.i386.rpm [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0-1.spec [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0-1.src.rpm [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0.tar.gz [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/.depend [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/COPYING [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/Makefile [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/config.make [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/configure.mk [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gMathView.ml [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtk_mathview.ml [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/ml_gtk_mathview.c [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/Makefile [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.xml [deleted file]
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]