]> matita.cs.unibo.it Git - helm.git/commit
moved some old stuff to the history
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 18:11:00 +0000 (18:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 18:11:00 +0000 (18:11 +0000)
commite2a938b39ba0f99c2a033d36e1a9cbfb7bef9c6c
treeacda9515960a843bc1cf694a1da05fe9cf6d7c01
parentc4eec8df32b6b004e76cbce54342385d3bf25fa5
moved some old stuff to the history
220 files changed:
helm/fix_params/.cvsignore [deleted file]
helm/fix_params/.depend [deleted file]
helm/fix_params/Makefile [deleted file]
helm/fix_params/cic2Xml.ml [deleted file]
helm/fix_params/cicFindParameters.ml [deleted file]
helm/fix_params/fix_params.ml [deleted file]
helm/gTopLevel/.cvsignore [deleted file]
helm/gTopLevel/.depend [deleted file]
helm/gTopLevel/INSTALL [deleted file]
helm/gTopLevel/Makefile.in [deleted file]
helm/gTopLevel/TATTICHE [deleted file]
helm/gTopLevel/batchParser.ml [deleted file]
helm/gTopLevel/batchParser.mli [deleted file]
helm/gTopLevel/chosenTermEditor.ml.in [deleted file]
helm/gTopLevel/chosenTermEditor.mli [deleted file]
helm/gTopLevel/configure.ac [deleted file]
helm/gTopLevel/dictionary-cic.xml [deleted file]
helm/gTopLevel/disambiguatingParser.ml.in [deleted file]
helm/gTopLevel/disambiguatingParser.mli [deleted file]
helm/gTopLevel/esempi/and_implies_or.cic [deleted file]
helm/gTopLevel/esempi/and_implies_or2.cic [deleted file]
helm/gTopLevel/esempi/apply.cic [deleted file]
helm/gTopLevel/esempi/bug.cic [deleted file]
helm/gTopLevel/esempi/calcolo_proposizioni.cic [deleted file]
helm/gTopLevel/esempi/conversion.cic [deleted file]
helm/gTopLevel/esempi/decompose.cic [deleted file]
helm/gTopLevel/esempi/elim.cic [deleted file]
helm/gTopLevel/esempi/elim2.cic [deleted file]
helm/gTopLevel/esempi/evars.cic [deleted file]
helm/gTopLevel/esempi/fourier.cic [deleted file]
helm/gTopLevel/esempi/fourier/fourier.cic [deleted file]
helm/gTopLevel/esempi/fourier/fourier_benchmarks.cic [deleted file]
helm/gTopLevel/esempi/fourier/fourier_make_benchmarks.ml [deleted file]
helm/gTopLevel/esempi/prova.cic [deleted file]
helm/gTopLevel/esempi/rewrite.cic [deleted file]
helm/gTopLevel/esempi/ring/0eq0.cic [deleted file]
helm/gTopLevel/esempi/ring/aliases.cic [deleted file]
helm/gTopLevel/esempi/ring/caso0.cic [deleted file]
helm/gTopLevel/esempi/ring/caso1.cic [deleted file]
helm/gTopLevel/esempi/ring/caso2.cic [deleted file]
helm/gTopLevel/esempi/ring/caso3.1.cic [deleted file]
helm/gTopLevel/esempi/ring/caso3.1bis.cic [deleted file]
helm/gTopLevel/esempi/ring/caso3.2.cic [deleted file]
helm/gTopLevel/esempi/ring/caso3.3.cic [deleted file]
helm/gTopLevel/esempi/ring/coq_overkill_helm_rulez.cic [deleted file]
helm/gTopLevel/esempi/ring/novarmap.cic [deleted file]
helm/gTopLevel/esempi/ring/novarmap_tofinish.cic [deleted file]
helm/gTopLevel/esempi/ring/varmap.cic [deleted file]
helm/gTopLevel/esempi/ring/varmap2.cic [deleted file]
helm/gTopLevel/esempi/ring/varmap_trivial.cic [deleted file]
helm/gTopLevel/esempi/ring/varmap_trivial2.cic [deleted file]
helm/gTopLevel/esempi/ring/varmap_trivial3.cic [deleted file]
helm/gTopLevel/esempi/ring/varmap_trivial_molte_variabili.cic [deleted file]
helm/gTopLevel/esempi/sets.cic [deleted file]
helm/gTopLevel/esempi/various.cic [deleted file]
helm/gTopLevel/gTopLevel.conf.xml.sample [deleted file]
helm/gTopLevel/gTopLevel.ml [deleted file]
helm/gTopLevel/hbugs.ml [deleted file]
helm/gTopLevel/hbugs.mli [deleted file]
helm/gTopLevel/helmGtkLogger.ml [deleted file]
helm/gTopLevel/helmGtkLogger.mli [deleted file]
helm/gTopLevel/invokeTactics.ml [deleted file]
helm/gTopLevel/invokeTactics.mli [deleted file]
helm/gTopLevel/logicalOperations.ml [deleted file]
helm/gTopLevel/logicalOperations.mli [deleted file]
helm/gTopLevel/oldDisambiguate.ml [deleted file]
helm/gTopLevel/oldDisambiguate.mli [deleted file]
helm/gTopLevel/proofEngine.ml [deleted file]
helm/gTopLevel/proofEngine.mli [deleted file]
helm/gTopLevel/regtest.ml [deleted file]
helm/gTopLevel/rootcontent.xsl [deleted file]
helm/gTopLevel/script.sh.sample [deleted file]
helm/gTopLevel/termEditor.ml [deleted file]
helm/gTopLevel/termEditor.mli [deleted file]
helm/gTopLevel/termViewer.ml [deleted file]
helm/gTopLevel/termViewer.mli [deleted file]
helm/gTopLevel/testlibrary.ml [deleted file]
helm/gTopLevel/tests/.cvsignore [deleted file]
helm/gTopLevel/tests/apply00.cic [deleted file]
helm/gTopLevel/tests/fix00.cic [deleted file]
helm/gTopLevel/tests/fix00.cic.test [deleted file]
helm/gTopLevel/tests/forall00.cic [deleted file]
helm/gTopLevel/tests/forall00.cic.test [deleted file]
helm/gTopLevel/tests/lambda01.cic [deleted file]
helm/gTopLevel/tests/lambda01.cic.test [deleted file]
helm/gTopLevel/tests/lambda02.cic [deleted file]
helm/gTopLevel/tests/lambda02.cic.test [deleted file]
helm/gTopLevel/tests/lambda03.cic [deleted file]
helm/gTopLevel/tests/lambda03.cic.test [deleted file]
helm/gTopLevel/tests/match00.cic [deleted file]
helm/gTopLevel/tests/match00.cic.test [deleted file]
helm/gTopLevel/tests/match01.cic [deleted file]
helm/gTopLevel/tests/match01.cic.test [deleted file]
helm/gTopLevel/tests/match02.cic [deleted file]
helm/gTopLevel/tests/match02.cic.test [deleted file]
helm/gTopLevel/tests/match03.cic [deleted file]
helm/gTopLevel/tests/match03.cic.test [deleted file]
helm/gTopLevel/tests/match04.cic [deleted file]
helm/gTopLevel/tests/match04.cic.test [deleted file]
helm/gTopLevel/tests/match05.cic [deleted file]
helm/gTopLevel/tests/match05.cic.test [deleted file]
helm/gTopLevel/tests/match06.cic [deleted file]
helm/gTopLevel/tests/match06.cic.test [deleted file]
helm/gTopLevel/tests/match07.cic [deleted file]
helm/gTopLevel/tests/match07.cic.test [deleted file]
helm/gTopLevel/texTermEditor.ml [deleted file]
helm/gTopLevel/texTermEditor.mli [deleted file]
helm/gTopLevel/typecheck_uri.ml [deleted file]
helm/header/getheader.xml [deleted file]
helm/header/provaurl [deleted file]
helm/header/provaurl1 [deleted file]
helm/header/setheader.xsl [deleted file]
helm/hxp/.cvsignore [deleted file]
helm/hxp/.depend [deleted file]
helm/hxp/EXAMPLE.txt [deleted file]
helm/hxp/Makefile [deleted file]
helm/hxp/hxpLexer.mll [deleted file]
helm/hxp/hxpParser.mly [deleted file]
helm/hxp/hxpTop.ml [deleted file]
helm/hxp/hxpTypes.ml [deleted file]
helm/hxp/hxpXML.ml [deleted file]
helm/hxsp/config [deleted file]
helm/hxsp/hxsp.pl [deleted file]
helm/hxsp/make.pl [deleted file]
helm/hxsp/msg/error.en [deleted file]
helm/hxsp/msg/error.it [deleted file]
helm/hxsp/msg/message.en [deleted file]
helm/hxsp/msg/message.it [deleted file]
helm/hxsp/splitted/0.init.p.pl [deleted file]
helm/hxsp/splitted/1.globvars.p.pl [deleted file]
helm/hxsp/splitted/2.start.p.pl [deleted file]
helm/hxsp/splitted/3.daemon.p.pl [deleted file]
helm/hxsp/splitted/4.hash.p.pl [deleted file]
helm/hxsp/splitted/5.libxslt.p.pl [deleted file]
helm/hxsp/splitted/6.commands.p.pl [deleted file]
helm/hxsp/splitted/7.qsparse.p.pl [deleted file]
helm/hxsp/splitted/8.strrep.p.pl [deleted file]
helm/hxsp/splitted/9.load.p.pl [deleted file]
helm/hxsp/tpl/ok.tpl [deleted file]
helm/hxsp/tpl/operror.tpl [deleted file]
helm/hxsp/tpl/synerror.tpl [deleted file]
helm/mathql/mathql_test/.cvsignore [new file with mode: 0644]
helm/mathql/mathql_test/.depend [new file with mode: 0644]
helm/mathql/mathql_test/Makefile [new file with mode: 0644]
helm/mathql/mathql_test/mQGTopLexer.mll [new file with mode: 0644]
helm/mathql/mathql_test/mQGTopParser.mly [new file with mode: 0644]
helm/mathql/mathql_test/mqgtop.ml [new file with mode: 0644]
helm/mathql/mathql_test/mqitop.ml [new file with mode: 0644]
helm/mathql/mathql_test/mqtop.ml [new file with mode: 0644]
helm/mathql_test/.cvsignore [deleted file]
helm/mathql_test/.depend [deleted file]
helm/mathql_test/Makefile [deleted file]
helm/mathql_test/mQGTopLexer.mll [deleted file]
helm/mathql_test/mQGTopParser.mly [deleted file]
helm/mathql_test/mqgtop.ml [deleted file]
helm/mathql_test/mqitop.ml [deleted file]
helm/mathql_test/mqtop.ml [deleted file]
helm/minidom/.cvsignore [deleted file]
helm/minidom/AUTHORS [deleted file]
helm/minidom/COPYING [deleted file]
helm/minidom/ChangeLog [deleted file]
helm/minidom/HEADER [deleted file]
helm/minidom/INSTALL [deleted file]
helm/minidom/Makefile.am [deleted file]
helm/minidom/NEWS [deleted file]
helm/minidom/README [deleted file]
helm/minidom/TODO [deleted file]
helm/minidom/acconfig.h [deleted file]
helm/minidom/config.guess [deleted file]
helm/minidom/config.sub [deleted file]
helm/minidom/configure.in [deleted file]
helm/minidom/debian/README.helm [deleted file]
helm/minidom/debian/autopippe.helm [deleted file]
helm/minidom/debian/changelog [deleted file]
helm/minidom/debian/control [deleted file]
helm/minidom/debian/copyright [deleted file]
helm/minidom/debian/debianize.helm [deleted file]
helm/minidom/debian/docs [deleted file]
helm/minidom/debian/garbage.helm [deleted file]
helm/minidom/debian/libminidom-dev.files [deleted file]
helm/minidom/debian/libminidom-dev.undocumented [deleted file]
helm/minidom/debian/libminidom0.files [deleted file]
helm/minidom/debian/libminidom0.postinst [deleted file]
helm/minidom/debian/rules [deleted file]
helm/minidom/minidom-config.in [deleted file]
helm/minidom/minidom.c [deleted file]
helm/minidom/minidom.h [deleted file]
helm/minidom/minidom.spec.in [deleted file]
helm/minidom/stamp-h.in [deleted file]
helm/pacchetti/Makefile [deleted file]
helm/xsltd/.cvsignore [deleted file]
helm/xsltd/AUTHORS [deleted file]
helm/xsltd/COPYING [deleted file]
helm/xsltd/ChangeLog [deleted file]
helm/xsltd/Makefile.in [deleted file]
helm/xsltd/Makefile.old [deleted file]
helm/xsltd/NEWS [deleted file]
helm/xsltd/README [deleted file]
helm/xsltd/config.cache.pkg [deleted file]
helm/xsltd/configure.in [deleted file]
helm/xsltd/helm_xsltd.spec.in [deleted file]
helm/xsltd/start-xaland.in [deleted file]
helm/xsltd/xaland-cpp/xaland.cpp [deleted file]
helm/xsltd/xaland-java-DOM/xaland_DOM.class [deleted file]
helm/xsltd/xaland-java-DOM/xaland_DOM.java [deleted file]
helm/xsltd/xaland-java/rompi.class [deleted file]
helm/xsltd/xaland-java/rompi.java [deleted file]
helm/xsltd/xaland-java/sped.class [deleted file]
helm/xsltd/xaland-java/sped.java [deleted file]
helm/xsltd/xaland-java/xaland.class [deleted file]
helm/xsltd/xaland-java/xaland.java [deleted file]
helm/xsltd/xaland-java/xaland.java.prima_del_loro_baco [deleted file]
helm/xsltd/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset [deleted file]
helm/xsltd/xaland-java2/xaland2.class [deleted file]
helm/xsltd/xaland-java2/xaland2.java [deleted file]
helm/xsltd/xaland-uwobo/.cvsignore [deleted file]
helm/xsltd/xaland-uwobo/xaland_uwobo.java [deleted file]
helm/xsltd/xaland.class [deleted file]
helm/xsltd/xaland2.class [deleted file]
helm/xsltd/xaland_DOM.class [deleted file]