]> matita.cs.unibo.it Git - helm.git/commit
This commit was manufactured by cvs2svn to create tag 'V_0_0_7_2'. V_0_0_7_2
authorno author <no.author@nowhere.it>
Sat, 26 Nov 2005 00:32:02 +0000 (00:32 +0000)
committerno author <no.author@nowhere.it>
Sat, 26 Nov 2005 00:32:02 +0000 (00:32 +0000)
commit26a47d56f9c9b798ce331881161fbdf079ab006f
tree8f3c3fa7900b9844d2c176fc8b466ad5d625e8cc
parent97c2d258a5c524eb5c4b85208899d80751a2c82f
This commit was manufactured by cvs2svn to create tag 'V_0_0_7_2'.
2046 files changed:
CVSROOT/checkoutlist [deleted file]
CVSROOT/commitinfo [deleted file]
CVSROOT/config [deleted file]
CVSROOT/cvswrappers [deleted file]
CVSROOT/editinfo [deleted file]
CVSROOT/loginfo [deleted file]
CVSROOT/modules [deleted file]
CVSROOT/notify [deleted file]
CVSROOT/rcsinfo [deleted file]
CVSROOT/taginfo [deleted file]
CVSROOT/verifymsg [deleted file]
helm/DEVEL/.cvsignore [deleted file]
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt0c2a.install [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/.cvsignore [deleted file]
helm/DEVEL/lablgtkmathview/.depend [deleted file]
helm/DEVEL/lablgtkmathview/AUTHORS [deleted file]
helm/DEVEL/lablgtkmathview/COPYING [deleted file]
helm/DEVEL/lablgtkmathview/ChangeLog [deleted file]
helm/DEVEL/lablgtkmathview/LICENSE [deleted file]
helm/DEVEL/lablgtkmathview/META.in [deleted file]
helm/DEVEL/lablgtkmathview/Makefile.in [deleted file]
helm/DEVEL/lablgtkmathview/NEWS [deleted file]
helm/DEVEL/lablgtkmathview/README [deleted file]
helm/DEVEL/lablgtkmathview/configure.in [deleted file]
helm/DEVEL/lablgtkmathview/debian/changelog [deleted file]
helm/DEVEL/lablgtkmathview/debian/compat [deleted file]
helm/DEVEL/lablgtkmathview/debian/control [deleted file]
helm/DEVEL/lablgtkmathview/debian/control.in [deleted file]
helm/DEVEL/lablgtkmathview/debian/copyright [deleted file]
helm/DEVEL/lablgtkmathview/debian/docs [deleted file]
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.dirs [deleted file]
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install [deleted file]
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in [deleted file]
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.dirs [deleted file]
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install [deleted file]
helm/DEVEL/lablgtkmathview/debian/rules [deleted file]
helm/DEVEL/lablgtkmathview/gMathView.ml [deleted file]
helm/DEVEL/lablgtkmathview/gMathView.mli [deleted file]
helm/DEVEL/lablgtkmathview/gMathViewAux.ml [deleted file]
helm/DEVEL/lablgtkmathview/gMathViewAux.mli [deleted file]
helm/DEVEL/lablgtkmathview/gtkMathView.ml [deleted file]
helm/DEVEL/lablgtkmathview/gtkMathView.props [deleted file]
helm/DEVEL/lablgtkmathview/gtk_mathview.ml [deleted file]
helm/DEVEL/lablgtkmathview/lablgtk/META.lablgtk [deleted file]
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c [deleted file]
helm/DEVEL/lablgtkmathview/test/.cvsignore [deleted file]
helm/DEVEL/lablgtkmathview/test/Makefile.in [deleted file]
helm/DEVEL/lablgtkmathview/test/t1.config [deleted file]
helm/DEVEL/lablgtkmathview/test/test.ml [deleted file]
helm/DEVEL/lablgtkmathview/test/test.xml [deleted file]
helm/DEVEL/lablgtksourceview/.cvsignore [deleted file]
helm/DEVEL/lablgtksourceview/.depend [deleted file]
helm/DEVEL/lablgtksourceview/ACKNOWLEDGEMENTS [deleted file]
helm/DEVEL/lablgtksourceview/AUTHORS [deleted file]
helm/DEVEL/lablgtksourceview/CHANGES [deleted file]
helm/DEVEL/lablgtksourceview/COPYING [deleted file]
helm/DEVEL/lablgtksourceview/Changelog [deleted file]
helm/DEVEL/lablgtksourceview/LICENSE [deleted file]
helm/DEVEL/lablgtksourceview/META.in [deleted file]
helm/DEVEL/lablgtksourceview/Makefile.in [deleted file]
helm/DEVEL/lablgtksourceview/NEWS [deleted file]
helm/DEVEL/lablgtksourceview/README [deleted file]
helm/DEVEL/lablgtksourceview/configure.ac [deleted file]
helm/DEVEL/lablgtksourceview/debian/changelog [deleted file]
helm/DEVEL/lablgtksourceview/debian/compat [deleted file]
helm/DEVEL/lablgtksourceview/debian/control [deleted file]
helm/DEVEL/lablgtksourceview/debian/control.in [deleted file]
helm/DEVEL/lablgtksourceview/debian/copyright [deleted file]
helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.docs [deleted file]
helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install [deleted file]
helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install.in [deleted file]
helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install [deleted file]
helm/DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install.in [deleted file]
helm/DEVEL/lablgtksourceview/debian/rules [deleted file]
helm/DEVEL/lablgtksourceview/gSourceView.ml [deleted file]
helm/DEVEL/lablgtksourceview/gSourceView.mli [deleted file]
helm/DEVEL/lablgtksourceview/gtkSourceView.ml [deleted file]
helm/DEVEL/lablgtksourceview/gtkSourceView.props [deleted file]
helm/DEVEL/lablgtksourceview/gtk_sourceview.ml [deleted file]
helm/DEVEL/lablgtksourceview/ml_gtk_sourceview.c [deleted file]
helm/DEVEL/lablgtksourceview/test/.cvsignore [deleted file]
helm/DEVEL/lablgtksourceview/test/Makefile.in [deleted file]
helm/DEVEL/lablgtksourceview/test/test.lang [deleted file]
helm/DEVEL/lablgtksourceview/test/test.ml [deleted file]
helm/DEVEL/lablgtksourceview/test/test.txt [deleted file]
helm/DEVEL/mathml_editor/.cvsignore [deleted file]
helm/DEVEL/mathml_editor/.log [deleted file]
helm/DEVEL/mathml_editor/AUTHORS [deleted file]
helm/DEVEL/mathml_editor/BROWSE [deleted file]
helm/DEVEL/mathml_editor/BUGS [deleted file]
helm/DEVEL/mathml_editor/BUGS-GDOME2 [deleted file]
helm/DEVEL/mathml_editor/ChangeLog [deleted file]
helm/DEVEL/mathml_editor/LICENSE [deleted file]
helm/DEVEL/mathml_editor/MODES [deleted file]
helm/DEVEL/mathml_editor/Makefile.am [deleted file]
helm/DEVEL/mathml_editor/Makefile.in [deleted file]
helm/DEVEL/mathml_editor/NEWS [deleted file]
helm/DEVEL/mathml_editor/PATTERNS [deleted file]
helm/DEVEL/mathml_editor/README [deleted file]
helm/DEVEL/mathml_editor/TML.dtd [deleted file]
helm/DEVEL/mathml_editor/TODO [deleted file]
helm/DEVEL/mathml_editor/configure.ac [deleted file]
helm/DEVEL/mathml_editor/debian/changelog [deleted file]
helm/DEVEL/mathml_editor/debian/compat [deleted file]
helm/DEVEL/mathml_editor/debian/control [deleted file]
helm/DEVEL/mathml_editor/debian/copyright [deleted file]
helm/DEVEL/mathml_editor/debian/docs [deleted file]
helm/DEVEL/mathml_editor/debian/libeditex-dev.files [deleted file]
helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files [deleted file]
helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files [deleted file]
helm/DEVEL/mathml_editor/debian/libeditex0.files [deleted file]
helm/DEVEL/mathml_editor/debian/rules [deleted file]
helm/DEVEL/mathml_editor/dict/.cvsignore [deleted file]
helm/DEVEL/mathml_editor/dict/Makefile.am [deleted file]
helm/DEVEL/mathml_editor/dict/dictionary-basic.xml [deleted file]
helm/DEVEL/mathml_editor/dict/dictionary-test.xml [deleted file]
helm/DEVEL/mathml_editor/dict/dictionary-tex.xml [deleted file]
helm/DEVEL/mathml_editor/dict/dictionary.dtd [deleted file]
helm/DEVEL/mathml_editor/doc/.cvsignore [deleted file]
helm/DEVEL/mathml_editor/doc/spec.tex [deleted file]
helm/DEVEL/mathml_editor/editex.pc.in [deleted file]
helm/DEVEL/mathml_editor/examples/.cvsignore [deleted file]
helm/DEVEL/mathml_editor/examples/Makefile.am [deleted file]
helm/DEVEL/mathml_editor/examples/abs.tex [deleted file]
helm/DEVEL/mathml_editor/examples/big.tex [deleted file]
helm/DEVEL/mathml_editor/ocaml/.cvsignore [deleted file]
helm/DEVEL/mathml_editor/ocaml/.depend [deleted file]
helm/DEVEL/mathml_editor/ocaml/META.in [deleted file]
helm/DEVEL/mathml_editor/ocaml/Makefile.am [deleted file]
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc [deleted file]
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h [deleted file]
helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml [deleted file]
helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml [deleted file]
helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli [deleted file]
helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c [deleted file]
helm/DEVEL/mathml_editor/src/.cvsignore [deleted file]
helm/DEVEL/mathml_editor/src/ALogger.hh [deleted file]
helm/DEVEL/mathml_editor/src/AMathMLConsumer.hh [deleted file]
helm/DEVEL/mathml_editor/src/AMathMLFactory.cc [deleted file]
helm/DEVEL/mathml_editor/src/AMathMLFactory.hh [deleted file]
helm/DEVEL/mathml_editor/src/APushLexer.hh [deleted file]
helm/DEVEL/mathml_editor/src/APushParser.cc [deleted file]
helm/DEVEL/mathml_editor/src/APushParser.hh [deleted file]
helm/DEVEL/mathml_editor/src/BROWSE [deleted file]
helm/DEVEL/mathml_editor/src/CLoggerConsole.cc [deleted file]
helm/DEVEL/mathml_editor/src/CLoggerConsole.hh [deleted file]
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc [deleted file]
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.hh [deleted file]
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc [deleted file]
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.hh [deleted file]
helm/DEVEL/mathml_editor/src/Diff.cc [deleted file]
helm/DEVEL/mathml_editor/src/Diff.hh [deleted file]
helm/DEVEL/mathml_editor/src/ILPushLexer.cc [deleted file]
helm/DEVEL/mathml_editor/src/ILPushLexer.hh [deleted file]
helm/DEVEL/mathml_editor/src/ITPushLexer.cc [deleted file]
helm/DEVEL/mathml_editor/src/ITPushLexer.hh [deleted file]
helm/DEVEL/mathml_editor/src/LPushLexer.cc [deleted file]
helm/DEVEL/mathml_editor/src/LPushLexer.hh [deleted file]
helm/DEVEL/mathml_editor/src/Makefile.am [deleted file]
helm/DEVEL/mathml_editor/src/Makefile.in [deleted file]
helm/DEVEL/mathml_editor/src/TDictionary.cc [deleted file]
helm/DEVEL/mathml_editor/src/TDictionary.hh [deleted file]
helm/DEVEL/mathml_editor/src/TDocument.cc [deleted file]
helm/DEVEL/mathml_editor/src/TDocument.hh [deleted file]
helm/DEVEL/mathml_editor/src/TListener.hh [deleted file]
helm/DEVEL/mathml_editor/src/TNode.cc [deleted file]
helm/DEVEL/mathml_editor/src/TNode.hh [deleted file]
helm/DEVEL/mathml_editor/src/TPushLexer.cc [deleted file]
helm/DEVEL/mathml_editor/src/TPushLexer.hh [deleted file]
helm/DEVEL/mathml_editor/src/TPushParser.cc [deleted file]
helm/DEVEL/mathml_editor/src/TPushParser.hh [deleted file]
helm/DEVEL/mathml_editor/src/TToken.hh [deleted file]
helm/DEVEL/mathml_editor/src/TTokenizer.cc [deleted file]
helm/DEVEL/mathml_editor/src/TTokenizer.hh [deleted file]
helm/DEVEL/mathml_editor/src/config.dirs.in [deleted file]
helm/DEVEL/mathml_editor/src/dom.hh [deleted file]
helm/DEVEL/mathml_editor/src/globals.hh [deleted file]
helm/DEVEL/mathml_editor/src/timer.cc [deleted file]
helm/DEVEL/mathml_editor/src/timer.hh [deleted file]
helm/DEVEL/mathml_editor/test/.cvsignore [deleted file]
helm/DEVEL/mathml_editor/test/Makefile.am [deleted file]
helm/DEVEL/mathml_editor/test/Makefile.in [deleted file]
helm/DEVEL/mathml_editor/test/aux.cc [deleted file]
helm/DEVEL/mathml_editor/test/editor.cc [deleted file]
helm/DEVEL/mathml_editor/test/guiGTK.c [deleted file]
helm/DEVEL/mathml_editor/test/guiGTK.h [deleted file]
helm/DEVEL/mathml_editor/textomml/.cvsignore [deleted file]
helm/DEVEL/mathml_editor/textomml/Makefile.am [deleted file]
helm/DEVEL/mathml_editor/textomml/config.dirs.in [deleted file]
helm/DEVEL/mathml_editor/textomml/main.cc [deleted file]
helm/DEVEL/mathml_editor/xsl/.cvsignore [deleted file]
helm/DEVEL/mathml_editor/xsl/Makefile.am [deleted file]
helm/DEVEL/mathml_editor/xsl/d-xsl.xsl [deleted file]
helm/DEVEL/mathml_editor/xsl/tml-litex.xsl [deleted file]
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl [deleted file]
helm/DEVEL/mathml_editor/xsl/tml-tex.xsl [deleted file]
helm/DEVEL/mathml_editor/xsl/tml-texid.xsl [deleted file]
helm/DEVEL/ocaml-http/.cvsignore [deleted file]
helm/DEVEL/ocaml-http/.depend [deleted file]
helm/DEVEL/ocaml-http/.ocamlinit [deleted file]
helm/DEVEL/ocaml-http/INSTALL [deleted file]
helm/DEVEL/ocaml-http/LICENSE [deleted file]
helm/DEVEL/ocaml-http/META.in [deleted file]
helm/DEVEL/ocaml-http/Makefile [deleted file]
helm/DEVEL/ocaml-http/Makefile.defs [deleted file]
helm/DEVEL/ocaml-http/README [deleted file]
helm/DEVEL/ocaml-http/TODO [deleted file]
helm/DEVEL/ocaml-http/debian/changelog [deleted file]
helm/DEVEL/ocaml-http/debian/compat [deleted file]
helm/DEVEL/ocaml-http/debian/control [deleted file]
helm/DEVEL/ocaml-http/debian/copyright [deleted file]
helm/DEVEL/ocaml-http/debian/dirs [deleted file]
helm/DEVEL/ocaml-http/debian/doc-base [deleted file]
helm/DEVEL/ocaml-http/debian/docs [deleted file]
helm/DEVEL/ocaml-http/debian/examples [deleted file]
helm/DEVEL/ocaml-http/debian/rules [deleted file]
helm/DEVEL/ocaml-http/doc/dot/.cvsignore [deleted file]
helm/DEVEL/ocaml-http/doc/html/.cvsignore [deleted file]
helm/DEVEL/ocaml-http/doc/latex/.cvsignore [deleted file]
helm/DEVEL/ocaml-http/examples/.cvsignore [deleted file]
helm/DEVEL/ocaml-http/examples/Makefile [deleted file]
helm/DEVEL/ocaml-http/examples/always_ok_daemon.ml [deleted file]
helm/DEVEL/ocaml-http/examples/basic_auth.ml [deleted file]
helm/DEVEL/ocaml-http/examples/chdir.ml [deleted file]
helm/DEVEL/ocaml-http/examples/client_address.ml [deleted file]
helm/DEVEL/ocaml-http/examples/damned_recursion.ml [deleted file]
helm/DEVEL/ocaml-http/examples/dump_args.ml [deleted file]
helm/DEVEL/ocaml-http/examples/highlander.ml [deleted file]
helm/DEVEL/ocaml-http/examples/oo_daemon.ml [deleted file]
helm/DEVEL/ocaml-http/examples/threads.ml [deleted file]
helm/DEVEL/ocaml-http/examples/timeout.ml [deleted file]
helm/DEVEL/ocaml-http/examples/webfsd.ml [deleted file]
helm/DEVEL/ocaml-http/http_common.ml [deleted file]
helm/DEVEL/ocaml-http/http_common.mli [deleted file]
helm/DEVEL/ocaml-http/http_constants.ml [deleted file]
helm/DEVEL/ocaml-http/http_constants.mli [deleted file]
helm/DEVEL/ocaml-http/http_daemon.ml [deleted file]
helm/DEVEL/ocaml-http/http_daemon.mli [deleted file]
helm/DEVEL/ocaml-http/http_message.ml [deleted file]
helm/DEVEL/ocaml-http/http_message.mli [deleted file]
helm/DEVEL/ocaml-http/http_misc.ml [deleted file]
helm/DEVEL/ocaml-http/http_misc.mli [deleted file]
helm/DEVEL/ocaml-http/http_parser.ml [deleted file]
helm/DEVEL/ocaml-http/http_parser.mli [deleted file]
helm/DEVEL/ocaml-http/http_parser_sanity.ml [deleted file]
helm/DEVEL/ocaml-http/http_parser_sanity.mli [deleted file]
helm/DEVEL/ocaml-http/http_request.ml [deleted file]
helm/DEVEL/ocaml-http/http_request.mli [deleted file]
helm/DEVEL/ocaml-http/http_response.ml [deleted file]
helm/DEVEL/ocaml-http/http_response.mli [deleted file]
helm/DEVEL/ocaml-http/http_tcp_server.ml [deleted file]
helm/DEVEL/ocaml-http/http_tcp_server.mli [deleted file]
helm/DEVEL/ocaml-http/http_threaded_tcp_server.mli [deleted file]
helm/DEVEL/ocaml-http/http_types.ml [deleted file]
helm/DEVEL/ocaml-http/http_types.mli [deleted file]
helm/DEVEL/ocaml-http/http_user_agent.ml [deleted file]
helm/DEVEL/ocaml-http/http_user_agent.mli [deleted file]
helm/DEVEL/ocaml-http/mt/.cvsignore [deleted file]
helm/DEVEL/ocaml-http/mt/http_threaded_tcp_server.ml [deleted file]
helm/DEVEL/ocaml-http/non_mt/.cvsignore [deleted file]
helm/DEVEL/ocaml-http/non_mt/http_threaded_tcp_server.ml [deleted file]
helm/DEVEL/profile-manager/Makefile [deleted file]
helm/DEVEL/profile-manager/control.html [deleted file]
helm/DEVEL/profile-manager/index.html [deleted file]
helm/DEVEL/profile-manager/profile-manager.xsl [deleted file]
helm/DEVEL/profile-manager/profile.ml [deleted file]
helm/DEVEL/profile-manager/profile_manager.ml [deleted file]
helm/DEVEL/profile-manager/profile_manager_env.ml [deleted file]
helm/DEVEL/profile-manager/response.ml [deleted file]
helm/DEVEL/profile-manager/welcome.html [deleted file]
helm/DEVEL/rdfly/.cvsignore [deleted file]
helm/DEVEL/rdfly/Makefile [deleted file]
helm/DEVEL/rdfly/rdfly.conf.xml.sample [deleted file]
helm/DEVEL/rdfly/rdfly.ml [deleted file]
helm/EXPORT/cshrc [deleted file]
helm/EXPORT/export_Bordeaux_EXCEPTIONS/Makefile [deleted file]
helm/EXPORT/export_Bordeaux_EXCEPTIONS/exporttheories.sh [deleted file]
helm/EXPORT/export_Bordeaux_EXCEPTIONS/prova_Bordeaux_EXCEPTIONS.v [deleted file]
helm/EXPORT/export_Marseille_CCS/Makefile [deleted file]
helm/EXPORT/export_Marseille_CCS/exporttheories.sh [deleted file]
helm/EXPORT/export_Marseille_CCS/prova_Marseille_CCS.v [deleted file]
helm/EXPORT/export_Nijmegen_Rem/Makefile [deleted file]
helm/EXPORT/export_Nijmegen_Rem/exporttheories.sh [deleted file]
helm/EXPORT/export_Nijmegen_Rem/prova_Nijmegen_Rem.v [deleted file]
helm/EXPORT/export_Paris_ZF/Makefile [deleted file]
helm/EXPORT/export_Paris_ZF/exporttheories.sh [deleted file]
helm/EXPORT/export_Paris_ZF/prova_Paris_ZF.v [deleted file]
helm/EXPORT/export_Rocq_CHECKER/Makefile [deleted file]
helm/EXPORT/export_Rocq_CHECKER/exporttheories.sh [deleted file]
helm/EXPORT/export_Rocq_CHECKER/prova_Rocq_CHECKER.v [deleted file]
helm/EXPORT/export_Rocq_HIGMAN/Makefile [deleted file]
helm/EXPORT/export_Rocq_HIGMAN/exporttheories.sh [deleted file]
helm/EXPORT/export_Rocq_HIGMAN/prova_Rocq_HIGMAN.v [deleted file]
helm/EXPORT/export_Rocq_SHUFFLE/Makefile [deleted file]
helm/EXPORT/export_Rocq_SHUFFLE/exporttheories.sh [deleted file]
helm/EXPORT/export_Rocq_SHUFFLE/prova_Rocq_SHUFFLE.v [deleted file]
helm/EXPORT/export_Utrecht_Ramsey/Makefile [deleted file]
helm/EXPORT/export_Utrecht_Ramsey/exporttheories.sh [deleted file]
helm/EXPORT/export_Utrecht_Ramsey/prova_Utrecht_Ramsey.v [deleted file]
helm/EXPORT/exportcoq/Makefile [deleted file]
helm/EXPORT/exportcoq/export_contrib_theory.sh [deleted file]
helm/EXPORT/exportcoq/export_theory_theory.sh [deleted file]
helm/EXPORT/exportcoq/exporttheories.sh [deleted file]
helm/EXPORT/exportcoq/provacoq.v [deleted file]
helm/EXPORT/exportcoq/provacoqArith.v [deleted file]
helm/EXPORT/exportcoq/provacoqBool.v [deleted file]
helm/EXPORT/exportcoq/provacoqInit.v [deleted file]
helm/EXPORT/exportcoq/provacoqLists.v [deleted file]
helm/EXPORT/exportcoq/provacoqLogic.v [deleted file]
helm/EXPORT/exportcoq/provacoqReals.v [deleted file]
helm/EXPORT/exportcoq/provacoqRelations.v [deleted file]
helm/EXPORT/exportcoq/provacoqSets.v [deleted file]
helm/EXPORT/exportcoq/provacoqSorting.v [deleted file]
helm/EXPORT/exportcoq/provacoqTrees.v [deleted file]
helm/EXPORT/exportcoq/provacoqZArith.v [deleted file]
helm/EXPORT/exportcoq/provacoqcontribOmega.v [deleted file]
helm/EXPORT/exportcoq/provacoqcontribRing.v [deleted file]
helm/EXPORT/exportcsczfc/Makefile [deleted file]
helm/EXPORT/exportcsczfc/csc_zfc/.cvsignore [deleted file]
helm/EXPORT/exportcsczfc/csc_zfc/csc_eqdep.v [deleted file]
helm/EXPORT/exportcsczfc/csc_zfc/csc_zfc.v [deleted file]
helm/EXPORT/exportcsczfc/exporttheories.sh [deleted file]
helm/EXPORT/exportcsczfc/provacsczfc.v [deleted file]
helm/EXPORT/exportprove/Makefile [deleted file]
helm/EXPORT/exportprove/exporttheories.sh [deleted file]
helm/EXPORT/exportprove/prova.v [deleted file]
helm/EXPORT/exportprove/provaCofix.v [deleted file]
helm/EXPORT/exportprove/provaFeIota.v [deleted file]
helm/EXPORT/exportprove/provaStruct.v [deleted file]
helm/EXPORT/exportprove/prove/.cvsignore [deleted file]
helm/EXPORT/exportprove/prove/provaF.v [deleted file]
helm/EXPORT/exportprove/prove/provaIota.v [deleted file]
helm/EXPORT/exportprove/prove/provacofix.v [deleted file]
helm/EXPORT/exportprove/prove/provastruct.v [deleted file]
helm/EXPORT/exportprove/prove/provastruct2.v [deleted file]
helm/EXPORT/exportprove/prove/provastruct3.v [deleted file]
helm/EXPORT/exportprove/prove/provastruct4.v [deleted file]
helm/EXPORT/exportprove/prove/provastruct5.v [deleted file]
helm/EXPORT/mktheory.pl [deleted file]
helm/Makefile [deleted file]
helm/annotationHelper/.cvsignore [deleted file]
helm/annotationHelper/.depend [deleted file]
helm/annotationHelper/Makefile [deleted file]
helm/annotationHelper/cicAnnotationHelper.ml [deleted file]
helm/annotationHelper/cicAnnotationHinter.ml [deleted file]
helm/annotationHelper/cicAnnotationHinter.mli [deleted file]
helm/cgi/mkcontrol.pl [deleted file]
helm/cgi/mkheader.pl [deleted file]
helm/cgi/mkindex.pl [deleted file]
helm/cgi/mkindexcic.pl [deleted file]
helm/cgi/mkindextheory.pl [deleted file]
helm/configuration/.cvsignore [deleted file]
helm/configuration/AUTHORS [deleted file]
helm/configuration/COPYING [deleted file]
helm/configuration/ChangeLog [deleted file]
helm/configuration/Makefile.in [deleted file]
helm/configuration/NEWS [deleted file]
helm/configuration/README [deleted file]
helm/configuration/config.cache.pkg [deleted file]
helm/configuration/configure.in [deleted file]
helm/configuration/etc/.cvsignore [deleted file]
helm/configuration/etc/configuration.dtd [deleted file]
helm/configuration/etc/configuration.xml.in [deleted file]
helm/configuration/etc/helm-dictionary.xml [deleted file]
helm/configuration/etc/helm-font-configuration.xml [deleted file]
helm/configuration/etc/helm-math-engine-configuration.xml.in [deleted file]
helm/configuration/helm-config.in [deleted file]
helm/configuration/helm_configuration.spec.in [deleted file]
helm/configuration/lib/.cvsignore [deleted file]
helm/configuration/lib/configuration.pl.in [deleted file]
helm/configuration/library/servers.txt [deleted file]
helm/configuration/library/urls_of_uris.db [deleted file]
helm/coq-contribs/LAMBDA-TYPES/.cvsignore [deleted file]
helm/coq-contribs/LAMBDA-TYPES/.depend [deleted file]
helm/coq-contribs/LAMBDA-TYPES/Base.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/LambdaDelta.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/Make [deleted file]
helm/coq-contribs/LAMBDA-TYPES/Makefile [deleted file]
helm/coq-contribs/LAMBDA-TYPES/README [deleted file]
helm/coq-contribs/LAMBDA-TYPES/base_blt.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/base_hints.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/base_rewrite.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/base_tactics.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/base_types.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/contexts_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/cpr0_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/csub0_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/csub0_props.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/csubst0_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/csubst1_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/description [deleted file]
helm/coq-contribs/LAMBDA-TYPES/drop_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/drop_props.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/fsubst0_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/lift_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/lift_gen.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/lift_props.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/lift_tlt.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pc1_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pc1_props.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pc3_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pc3_gen.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pc3_gen_context.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pc3_props.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pc3_subst0.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr0_confluence.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr0_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr0_gen.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr0_lift.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr0_subst0.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr0_subst1.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr1_confluence.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr1_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr2_confluence.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr2_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr2_gen.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr2_gen_context.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr2_lift.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr2_subst1.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr3_confluence.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr3_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr3_gen.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr3_gen_context.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr3_props.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/pr3_subst1.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst0_confluence.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst0_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst0_gen.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst0_lift.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst0_subst0.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst0_tlt.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst1_confluence.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst1_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst1_gen.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst1_lift.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/subst1_subst1.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/terms_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/tlt_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/ty0_defs.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/ty0_gen.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/ty0_gen_context.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/ty0_lift.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/ty0_props.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/ty0_sred.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/ty0_sred_props.v [deleted file]
helm/coq-contribs/LAMBDA-TYPES/ty0_subst0.v [deleted file]
helm/coq-contribs/SUBSETS/.cvsignore [deleted file]
helm/coq-contribs/SUBSETS/.depend [deleted file]
helm/coq-contribs/SUBSETS/Make [deleted file]
helm/coq-contribs/SUBSETS/Makefile [deleted file]
helm/coq-contribs/SUBSETS/README [deleted file]
helm/coq-contribs/SUBSETS/Standard.v [deleted file]
helm/coq-contribs/SUBSETS/Toolbox.v [deleted file]
helm/coq-contribs/SUBSETS/description [deleted file]
helm/coq-contribs/SUBSETS/st_arith.v [deleted file]
helm/coq-contribs/SUBSETS/st_base.v [deleted file]
helm/coq-contribs/SUBSETS/st_logic.v [deleted file]
helm/coq-contribs/SUBSETS/st_nat.v [deleted file]
helm/coq-contribs/SUBSETS/tbs_base.v [deleted file]
helm/coq-contribs/SUBSETS/tbs_fin.v [deleted file]
helm/coq-contribs/SUBSETS/tbs_fun.v [deleted file]
helm/coq-contribs/SUBSETS/tbs_op.v [deleted file]
helm/coq-contribs/SUBSETS/tbs_rel.v [deleted file]
helm/coq-contribs/SUBSETS/tbs_rop.v [deleted file]
helm/coq-contribs/SUBSETS/xt_fin.v [deleted file]
helm/dtd/annotations.dtd [deleted file]
helm/dtd/backward.dtd [deleted file]
helm/dtd/cic.dtd [deleted file]
helm/dtd/cicobject.dtd [deleted file]
helm/dtd/cictypes.dtd [deleted file]
helm/dtd/forward.dtd [deleted file]
helm/dtd/isoamsa.ent [deleted file]
helm/dtd/isoamsb.ent [deleted file]
helm/dtd/isoamsc.ent [deleted file]
helm/dtd/isoamsn.ent [deleted file]
helm/dtd/isoamso.ent [deleted file]
helm/dtd/isoamsr.ent [deleted file]
helm/dtd/isobox.ent [deleted file]
helm/dtd/isocyr1.ent [deleted file]
helm/dtd/isocyr2.ent [deleted file]
helm/dtd/isodia.ent [deleted file]
helm/dtd/isogrk3.ent [deleted file]
helm/dtd/isolat1.ent [deleted file]
helm/dtd/isolat2.ent [deleted file]
helm/dtd/isomfrk.ent [deleted file]
helm/dtd/isomopf.ent [deleted file]
helm/dtd/isomscr.ent [deleted file]
helm/dtd/isonum.ent [deleted file]
helm/dtd/isopub.ent [deleted file]
helm/dtd/isotech.ent [deleted file]
helm/dtd/ls.dtd [deleted file]
helm/dtd/mathml2-qname-1.mod [deleted file]
helm/dtd/mathml2.dtd [deleted file]
helm/dtd/maththeory.dtd [deleted file]
helm/dtd/mmlalias.ent [deleted file]
helm/dtd/mmlextra.ent [deleted file]
helm/dtd/theoryobject.dtd [deleted file]
helm/dtd/xhtml-lat1.ent [deleted file]
helm/dtd/xhtml-special.ent [deleted file]
helm/dtd/xhtml-symbol.ent [deleted file]
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/graphs/jsmenu/HM_Arrays.js [deleted file]
helm/graphs/jsmenu/HM_Arrays_prova.js [deleted file]
helm/graphs/jsmenu/HM_Loader.js [deleted file]
helm/graphs/jsmenu/HM_Loader_prova.js [deleted file]
helm/graphs/jsmenu/HM_More_black_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_black_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_blue_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_blue_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_cyan_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_cyan_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_green_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_green_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_magenta_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_magenta_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_red_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_red_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_white_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_white_right.gif [deleted file]
helm/graphs/jsmenu/HM_More_yellow_left.gif [deleted file]
helm/graphs/jsmenu/HM_More_yellow_right.gif [deleted file]
helm/graphs/jsmenu/HM_ScriptDOM.js [deleted file]
helm/graphs/jsmenu/HM_ScriptIE4.js [deleted file]
helm/graphs/jsmenu/HM_ScriptNS4.js [deleted file]
helm/graphs/jsmenu/LoadMe.html [deleted file]
helm/graphs/jsmenu/prova.gif [deleted file]
helm/graphs/jsmenu/prova.html [deleted file]
helm/graphs/tools/.cvsignore [deleted file]
helm/graphs/tools/Makefile [deleted file]
helm/graphs/tools/drawGraph.conf.xml.sample [deleted file]
helm/graphs/tools/drawGraph.ml [deleted file]
helm/graphs/tools/mk_html.pl [deleted file]
helm/graphs/tools/simplify_deps/.cvsignore [deleted file]
helm/graphs/tools/simplify_deps/Makefile [deleted file]
helm/graphs/tools/simplify_deps/simplify_deps.ml [deleted file]
helm/graphs/tools/uriSetQueue.conf.xml.sample [deleted file]
helm/graphs/tools/uriSetQueue.ml [deleted file]
helm/gtkmathview-bonobo/.cvsignore [deleted file]
helm/gtkmathview-bonobo/AUTHORS [deleted file]
helm/gtkmathview-bonobo/ChangeLog [deleted file]
helm/gtkmathview-bonobo/LICENSE [deleted file]
helm/gtkmathview-bonobo/Makefile.am [deleted file]
helm/gtkmathview-bonobo/NEWS [deleted file]
helm/gtkmathview-bonobo/README [deleted file]
helm/gtkmathview-bonobo/TODO [deleted file]
helm/gtkmathview-bonobo/configure.ac [deleted file]
helm/gtkmathview-bonobo/gtkmathview-bonobo.pc.in [deleted file]
helm/gtkmathview-bonobo/idl/.cvsignore [deleted file]
helm/gtkmathview-bonobo/idl/GtkMathView.idl [deleted file]
helm/gtkmathview-bonobo/idl/Makefile.am [deleted file]
helm/gtkmathview-bonobo/src/.cvsignore [deleted file]
helm/gtkmathview-bonobo/src/GNOME_GtkMathView.server.in.in [deleted file]
helm/gtkmathview-bonobo/src/Makefile.am [deleted file]
helm/gtkmathview-bonobo/src/aux.cc [deleted file]
helm/gtkmathview-bonobo/src/aux.h [deleted file]
helm/gtkmathview-bonobo/src/control-data.c [deleted file]
helm/gtkmathview-bonobo/src/control-data.h [deleted file]
helm/gtkmathview-bonobo/src/control-factory.c [deleted file]
helm/gtkmathview-bonobo/src/control-factory.h [deleted file]
helm/gtkmathview-bonobo/src/handlers.c [deleted file]
helm/gtkmathview-bonobo/src/handlers.h [deleted file]
helm/gtkmathview-bonobo/src/persist-file.c [deleted file]
helm/gtkmathview-bonobo/src/persist-file.h [deleted file]
helm/gtkmathview-bonobo/src/persist-stream.c [deleted file]
helm/gtkmathview-bonobo/src/persist-stream.h [deleted file]
helm/gtkmathview-bonobo/src/view.c [deleted file]
helm/gtkmathview-bonobo/src/view.h [deleted file]
helm/gtkmathview-bonobo/test/.cvsignore [deleted file]
helm/gtkmathview-bonobo/test/Makefile.am [deleted file]
helm/gtkmathview-bonobo/test/embedding.html [deleted file]
helm/gtkmathview-bonobo/test/embedding.xml [deleted file]
helm/gtkmathview-bonobo/test/main.c [deleted file]
helm/gtkmathview-bonobo/test/test.mml [deleted file]
helm/gtkmathview-bonobo/test/testembedding.html [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/helm_data/.cvsignore [deleted file]
helm/helm_data/AUTHORS [deleted file]
helm/helm_data/COPYING [deleted file]
helm/helm_data/ChangeLog [deleted file]
helm/helm_data/LICENSE [deleted file]
helm/helm_data/LICENSE.ml [deleted file]
helm/helm_data/LICENSE.script [deleted file]
helm/helm_data/LICENSE.xml [deleted file]
helm/helm_data/Makefile.in [deleted file]
helm/helm_data/NEWS [deleted file]
helm/helm_data/README [deleted file]
helm/helm_data/config.cache.pkg [deleted file]
helm/helm_data/configure.in [deleted file]
helm/helm_data/helm_data.spec.in [deleted file]
helm/helmpot/.cvsignore [deleted file]
helm/helmpot/AUTHORS [deleted file]
helm/helmpot/ChangeLog [deleted file]
helm/helmpot/LICENSE [deleted file]
helm/helmpot/Makefile.am [deleted file]
helm/helmpot/NEWS [deleted file]
helm/helmpot/README [deleted file]
helm/helmpot/acconfig.h [deleted file]
helm/helmpot/configure.in [deleted file]
helm/helmpot/debian/changelog [deleted file]
helm/helmpot/debian/control [deleted file]
helm/helmpot/debian/copyright [deleted file]
helm/helmpot/debian/docs [deleted file]
helm/helmpot/debian/rules [deleted file]
helm/helmpot/guiGTK.c [deleted file]
helm/helmpot/guiGTK.h [deleted file]
helm/helmpot/helmpot.spec.in [deleted file]
helm/helmpot/main.c [deleted file]
helm/helmpot/pot_mask [deleted file]
helm/http_getter/.cvsignore [deleted file]
helm/http_getter/AUTHORS [deleted file]
helm/http_getter/BUGS [deleted file]
helm/http_getter/COPYING [deleted file]
helm/http_getter/ChangeLog [deleted file]
helm/http_getter/Makefile [deleted file]
helm/http_getter/Makefile.overrides [deleted file]
helm/http_getter/NEWS [deleted file]
helm/http_getter/README [deleted file]
helm/http_getter/buildTimeOpts.ml.in [deleted file]
helm/http_getter/configure.ac [deleted file]
helm/http_getter/http_getter.conf.xml.sample [deleted file]
helm/http_getter/main.ml [deleted file]
helm/http_getter/panel/.cvsignore [deleted file]
helm/http_getter/panel/Makefile [deleted file]
helm/http_getter/panel/control.html [deleted file]
helm/http_getter/panel/control.js [deleted file]
helm/http_getter/panel/index.html [deleted file]
helm/http_getter/panel/welcome.html [deleted file]
helm/http_getter/tools/dump_db.ml [deleted file]
helm/http_getter/tools/dump_db.pl [deleted file]
helm/http_getter/tools/uri_escape.pl [deleted file]
helm/http_getter/tools/uri_unescape.pl [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/doc/.cvsignore [deleted file]
helm/mathql/doc/llncs.cls [deleted file]
helm/mathql/doc/mathql.tex [deleted file]
helm/mathql/doc/mathql_bib.tex [deleted file]
helm/mathql/doc/mathql_introduction.tex [deleted file]
helm/mathql/doc/mathql_introduction_avsets.tex [deleted file]
helm/mathql/doc/mathql_introduction_basic.tex [deleted file]
helm/mathql/doc/mathql_introduction_core.tex [deleted file]
helm/mathql/doc/mathql_introduction_property.tex [deleted file]
helm/mathql/doc/mathql_introduction_textual.tex [deleted file]
helm/mathql/doc/mathql_macros.sty [deleted file]
helm/mathql/doc/mathql_operational.tex [deleted file]
helm/mathql/doc/mathql_operational_background.tex [deleted file]
helm/mathql/doc/mathql_operational_basic.tex [deleted file]
helm/mathql/doc/mathql_operational_core.tex [deleted file]
helm/mathql/doc/mathql_operational_library.tex [deleted file]
helm/mathql/doc/mathql_overview.tex [deleted file]
helm/mathql/doc/mathql_tests.tex [deleted file]
helm/mathql/grammar.txt [deleted file]
helm/mathql/homepage/authors.html [deleted file]
helm/mathql/homepage/documentation.html [deleted file]
helm/mathql/homepage/features.html [deleted file]
helm/mathql/homepage/implementation.html [deleted file]
helm/mathql/homepage/index.html [deleted file]
helm/mathql/homepage/links.html [deleted file]
helm/mathql/homepage/whatsnew.html [deleted file]
helm/mathql/query.xml [deleted file]
helm/mathql/result.xml [deleted file]
helm/mathql/xmathql.dtd [deleted file]
helm/mathql/xmqlresult.dtd [deleted file]
helm/mathql_db_map.txt [deleted file]
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/matita/.cvsignore [deleted file]
helm/matita/.depend [deleted file]
helm/matita/.ocamlinit [deleted file]
helm/matita/AUTHORS [deleted file]
helm/matita/LICENSE [deleted file]
helm/matita/Makefile.in [deleted file]
helm/matita/buildTimeConf.ml.in [deleted file]
helm/matita/closed.xml [deleted file]
helm/matita/configure.ac [deleted file]
helm/matita/contribs/LAMBDA-TYPES/.cvsignore [deleted file]
helm/matita/contribs/LAMBDA-TYPES/Makefile [deleted file]
helm/matita/contribs/LAMBDA-TYPES/lref_map_defs.ma [deleted file]
helm/matita/contribs/LAMBDA-TYPES/terms_defs.ma [deleted file]
helm/matita/contribs/LAMBDA-TYPES/tlt_defs.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/class_defs.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/class_eq.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/domain_defs.ma [deleted file]
helm/matita/contribs/PREDICATIVE-TOPOLOGY/subset_defs.ma [deleted file]
helm/matita/coq.ma [deleted file]
helm/matita/core_notation.moo [deleted file]
helm/matita/dictionary-matita.xml [deleted file]
helm/matita/dist/Makefile [deleted file]
helm/matita/dist/fill_db.sh [deleted file]
helm/matita/dist/static_link/.cvsignore [deleted file]
helm/matita/dist/static_link/Makefile [deleted file]
helm/matita/dist/static_link/static_link.ml [deleted file]
helm/matita/dump_moo.ml [deleted file]
helm/matita/gtkmathview.matita.conf.xml.in [deleted file]
helm/matita/icons/matita-bulb-high.png [deleted file]
helm/matita/icons/matita-bulb-low.png [deleted file]
helm/matita/icons/matita-bulb-medium.png [deleted file]
helm/matita/icons/matita-folder.png [deleted file]
helm/matita/icons/matita-object.png [deleted file]
helm/matita/icons/matita-theory.png [deleted file]
helm/matita/icons/matita.png [deleted file]
helm/matita/icons/matita_medium.png [deleted file]
helm/matita/icons/matita_small.png [deleted file]
helm/matita/icons/meegg.png [deleted file]
helm/matita/icons/whelp.png [deleted file]
helm/matita/icons/whelp.svg [deleted file]
helm/matita/library/.cvsignore [deleted file]
helm/matita/library/Makefile [deleted file]
helm/matita/library/Q/q.ma [deleted file]
helm/matita/library/Z/.cvsignore [deleted file]
helm/matita/library/Z/compare.ma [deleted file]
helm/matita/library/Z/orders.ma [deleted file]
helm/matita/library/Z/plus.ma [deleted file]
helm/matita/library/Z/times.ma [deleted file]
helm/matita/library/Z/z.ma [deleted file]
helm/matita/library/datatypes/.cvsignore [deleted file]
helm/matita/library/datatypes/bool.ma [deleted file]
helm/matita/library/datatypes/compare.ma [deleted file]
helm/matita/library/datatypes/constructors.ma [deleted file]
helm/matita/library/higher_order_defs/.cvsignore [deleted file]
helm/matita/library/higher_order_defs/functions.ma [deleted file]
helm/matita/library/higher_order_defs/ordering.ma [deleted file]
helm/matita/library/higher_order_defs/relations.ma [deleted file]
helm/matita/library/list/list.ma [deleted file]
helm/matita/library/list/sort.ma [deleted file]
helm/matita/library/logic/.cvsignore [deleted file]
helm/matita/library/logic/connectives.ma [deleted file]
helm/matita/library/logic/equality.ma [deleted file]
helm/matita/library/nat/.cvsignore [deleted file]
helm/matita/library/nat/chinese_reminder.ma [deleted file]
helm/matita/library/nat/compare.ma [deleted file]
helm/matita/library/nat/congruence.ma [deleted file]
helm/matita/library/nat/count.ma [deleted file]
helm/matita/library/nat/div_and_mod.ma [deleted file]
helm/matita/library/nat/exp.ma [deleted file]
helm/matita/library/nat/factorial.ma [deleted file]
helm/matita/library/nat/factorization.ma [deleted file]
helm/matita/library/nat/fermat_little_theorem.ma [deleted file]
helm/matita/library/nat/gcd.ma [deleted file]
helm/matita/library/nat/le_arith.ma [deleted file]
helm/matita/library/nat/lt_arith.ma [deleted file]
helm/matita/library/nat/minimization.ma [deleted file]
helm/matita/library/nat/minus.ma [deleted file]
helm/matita/library/nat/nat.ma [deleted file]
helm/matita/library/nat/nth_prime.ma [deleted file]
helm/matita/library/nat/ord.ma [deleted file]
helm/matita/library/nat/orders.ma [deleted file]
helm/matita/library/nat/permutation.ma [deleted file]
helm/matita/library/nat/plus.ma [deleted file]
helm/matita/library/nat/primes.ma [deleted file]
helm/matita/library/nat/primes1.ma [deleted file]
helm/matita/library/nat/relevant_equations.ma [deleted file]
helm/matita/library/nat/sigma_and_pi.ma [deleted file]
helm/matita/library/nat/times.ma [deleted file]
helm/matita/library/nat/totient.ma [deleted file]
helm/matita/matita.conf.xml.sample.in [deleted file]
helm/matita/matita.glade [deleted file]
helm/matita/matita.gtkrc [deleted file]
helm/matita/matita.lang [deleted file]
helm/matita/matita.ma.templ [deleted file]
helm/matita/matita.ml [deleted file]
helm/matita/matita.txt [deleted file]
helm/matita/matitaDb.ml [deleted file]
helm/matita/matitaDb.mli [deleted file]
helm/matita/matitaDisambiguator.ml [deleted file]
helm/matita/matitaDisambiguator.mli [deleted file]
helm/matita/matitaEngine.ml [deleted file]
helm/matita/matitaEngine.mli [deleted file]
helm/matita/matitaExcPp.ml [deleted file]
helm/matita/matitaExcPp.mli [deleted file]
helm/matita/matitaGtkMisc.ml [deleted file]
helm/matita/matitaGtkMisc.mli [deleted file]
helm/matita/matitaGui.ml [deleted file]
helm/matita/matitaGui.mli [deleted file]
helm/matita/matitaGuiTypes.mli [deleted file]
helm/matita/matitaInit.ml [deleted file]
helm/matita/matitaInit.mli [deleted file]
helm/matita/matitaLog.ml [deleted file]
helm/matita/matitaLog.mli [deleted file]
helm/matita/matitaMathView.ml [deleted file]
helm/matita/matitaMathView.mli [deleted file]
helm/matita/matitaMisc.ml [deleted file]
helm/matita/matitaMisc.mli [deleted file]
helm/matita/matitaMoo.ml [deleted file]
helm/matita/matitaMoo.mli [deleted file]
helm/matita/matitaScript.ml [deleted file]
helm/matita/matitaScript.mli [deleted file]
helm/matita/matitaSync.ml [deleted file]
helm/matita/matitaSync.mli [deleted file]
helm/matita/matitaTypes.ml [deleted file]
helm/matita/matitaTypes.mli [deleted file]
helm/matita/matitac.ml [deleted file]
helm/matita/matitacLib.ml [deleted file]
helm/matita/matitacLib.mli [deleted file]
helm/matita/matitaclean.ml [deleted file]
helm/matita/matitaclean.mli [deleted file]
helm/matita/matitacleanLib.ml [deleted file]
helm/matita/matitacleanLib.mli [deleted file]
helm/matita/matitadep.ml [deleted file]
helm/matita/matitadep.mli [deleted file]
helm/matita/matitamake.ml [deleted file]
helm/matita/matitamakeLib.ml [deleted file]
helm/matita/matitamakeLib.mli [deleted file]
helm/matita/matitatop.ml [deleted file]
helm/matita/scripts/README [deleted file]
helm/matita/scripts/bench.sql [deleted file]
helm/matita/scripts/crontab [deleted file]
helm/matita/scripts/crontab.sh [deleted file]
helm/matita/scripts/do_tests.sh [deleted file]
helm/matita/scripts/insert.awk [deleted file]
helm/matita/scripts/profile_cvs.sh [deleted file]
helm/matita/scripts/public_html/bench.php [deleted file]
helm/matita/scripts/public_html/common.php [deleted file]
helm/matita/scripts/public_html/composequery.php [deleted file]
helm/matita/scripts/public_html/index.html [deleted file]
helm/matita/scripts/public_html/showquery.php [deleted file]
helm/matita/scripts/shell_adder.php [deleted file]
helm/matita/scripts/shell_time2cents.php [deleted file]
helm/matita/template_makefile.in [deleted file]
helm/matita/tests/.cvsignore [deleted file]
helm/matita/tests/Makefile [deleted file]
helm/matita/tests/absurd.ma [deleted file]
helm/matita/tests/apply.ma [deleted file]
helm/matita/tests/assumption.ma [deleted file]
helm/matita/tests/bad_tests/.depend [deleted file]
helm/matita/tests/bad_tests/Makefile [deleted file]
helm/matita/tests/bad_tests/auto.log [deleted file]
helm/matita/tests/bad_tests/auto.ma [deleted file]
helm/matita/tests/bad_tests/baseuri.log [deleted file]
helm/matita/tests/bad_tests/baseuri.ma [deleted file]
helm/matita/tests/change.ma [deleted file]
helm/matita/tests/clear.ma [deleted file]
helm/matita/tests/clearbody.ma [deleted file]
helm/matita/tests/coercions.ma [deleted file]
helm/matita/tests/comments.ma [deleted file]
helm/matita/tests/constructor.ma [deleted file]
helm/matita/tests/continuationals.ma [deleted file]
helm/matita/tests/contradiction.ma [deleted file]
helm/matita/tests/cut.ma [deleted file]
helm/matita/tests/decompose.ma [deleted file]
helm/matita/tests/discriminate.ma [deleted file]
helm/matita/tests/elim.ma [deleted file]
helm/matita/tests/fguidi.ma [deleted file]
helm/matita/tests/first.ma [deleted file]
helm/matita/tests/fix_betareduction.ma [deleted file]
helm/matita/tests/fold.ma [deleted file]
helm/matita/tests/generalize.ma [deleted file]
helm/matita/tests/interactive/automatic_insertion.ma [deleted file]
helm/matita/tests/interactive/drop.ma [deleted file]
helm/matita/tests/interactive/grafite.ma [deleted file]
helm/matita/tests/interactive/test5.ma [deleted file]
helm/matita/tests/interactive/test6.ma [deleted file]
helm/matita/tests/interactive/test7.ma [deleted file]
helm/matita/tests/interactive/test_instance.ma [deleted file]
helm/matita/tests/inversion.ma [deleted file]
helm/matita/tests/letrec.ma [deleted file]
helm/matita/tests/match_inference.ma [deleted file]
helm/matita/tests/metasenv_ordering.ma [deleted file]
helm/matita/tests/mysql_escaping.ma [deleted file]
helm/matita/tests/paramodulation.ma [deleted file]
helm/matita/tests/record.ma [deleted file]
helm/matita/tests/replace.ma [deleted file]
helm/matita/tests/rewrite.ma [deleted file]
helm/matita/tests/second.ma [deleted file]
helm/matita/tests/simpl.ma [deleted file]
helm/matita/tests/test2.ma [deleted file]
helm/matita/tests/test3.ma [deleted file]
helm/matita/tests/test4.ma [deleted file]
helm/matita/tests/third.ma [deleted file]
helm/matita/tests/unfold.ma [deleted file]
helm/metadata/.cvsignore [deleted file]
helm/metadata/Makefile [deleted file]
helm/metadata/README [deleted file]
helm/metadata/dc/Makefile [deleted file]
helm/metadata/dc/fill_db.pl [deleted file]
helm/metadata/dc/sql/create_dc_tables.sql [deleted file]
helm/metadata/dc/sql/drop_dc_tables.sql [deleted file]
helm/metadata/extractor/.cvsignore [deleted file]
helm/metadata/extractor/Makefile [deleted file]
helm/metadata/extractor/README [deleted file]
helm/metadata/extractor/meta_lex.l [deleted file]
helm/metadata/extractor/meta_lex_ind.l [deleted file]
helm/metadata/extractor/sthandler.c [deleted file]
helm/metadata/extractor/sthandler.h [deleted file]
helm/metadata/extractor/sthandler_ind.c [deleted file]
helm/metadata/extractor/sthandler_ind.h [deleted file]
helm/metadata/sql/create_mowgli_tables.mysql.sql [deleted file]
helm/metadata/sql/create_mowgli_tables.sql [deleted file]
helm/metadata/sql/drop_mowgli_tables.mysql.sql [deleted file]
helm/metadata/sql/drop_mowgli_tables.sql [deleted file]
helm/metadata/sql/fill_all_derived.sql [deleted file]
helm/metadata/sql/fill_inconcl_aux.sql [deleted file]
helm/metadata/sql/fill_no_concl_hyp.sql [deleted file]
helm/metadata/sql/fill_no_hyp.sql [deleted file]
helm/metadata/sql/rating.sql [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/mowgli/home/htaccess [deleted file]
helm/mowgli/home/html/.cvsignore [deleted file]
helm/mowgli/home/html/Makefile [deleted file]
helm/mowgli/home/html/deliverables/distribution/.cvsignore [deleted file]
helm/mowgli/home/html/deliverables/information-dissemination-and-exploitation/.cvsignore [deleted file]
helm/mowgli/home/html/deliverables/interfaces/.cvsignore [deleted file]
helm/mowgli/home/html/deliverables/metadata/.cvsignore [deleted file]
helm/mowgli/home/html/deliverables/project-management/.cvsignore [deleted file]
helm/mowgli/home/html/deliverables/requirement-analysis/.cvsignore [deleted file]
helm/mowgli/home/html/deliverables/testing-and-validation/.cvsignore [deleted file]
helm/mowgli/home/html/deliverables/transformation/.cvsignore [deleted file]
helm/mowgli/home/html/members/.cvsignore [deleted file]
helm/mowgli/home/html/mowgli-events/.cvsignore [deleted file]
helm/mowgli/home/html/people/aei/.cvsignore [deleted file]
helm/mowgli/home/html/people/bologna/.cvsignore [deleted file]
helm/mowgli/home/html/people/dfki/.cvsignore [deleted file]
helm/mowgli/home/html/people/inria/.cvsignore [deleted file]
helm/mowgli/home/html/people/nijmegen/.cvsignore [deleted file]
helm/mowgli/home/html/people/trusted-logic/.cvsignore [deleted file]
helm/mowgli/home/html/proposal/.cvsignore [deleted file]
helm/mowgli/home/html/publications/.cvsignore [deleted file]
helm/mowgli/home/html/publications/mowgli/.cvsignore [deleted file]
helm/mowgli/home/html/publications/others/.cvsignore [deleted file]
helm/mowgli/home/html/sites/.cvsignore [deleted file]
helm/mowgli/home/html/slides/.cvsignore [deleted file]
helm/mowgli/home/html/software/.cvsignore [deleted file]
helm/mowgli/home/html/work-packages/.cvsignore [deleted file]
helm/mowgli/home/images/NextArrow.gif [deleted file]
helm/mowgli/home/images/PreviousArrow.gif [deleted file]
helm/mowgli/home/images/arch.png [deleted file]
helm/mowgli/home/images/gantt_new.png [deleted file]
helm/mowgli/home/images/istbutton.gif [deleted file]
helm/mowgli/home/images/istbutton_small.gif [deleted file]
helm/mowgli/home/images/istdrop.gif [deleted file]
helm/mowgli/home/images/logo.png [deleted file]
helm/mowgli/home/images/mowgli_combo.gif [deleted file]
helm/mowgli/home/images/mowgli_combo.png [deleted file]
helm/mowgli/home/images/mowgli_parquet.png [deleted file]
helm/mowgli/home/images/mowgli_parquet_light.png [deleted file]
helm/mowgli/home/images/pert_new.png [deleted file]
helm/mowgli/home/misc/contract/MOWGLIfinal-for-ceto.zip [deleted file]
helm/mowgli/home/misc/contract/RTD-annex2-rtd-final.pdf [deleted file]
helm/mowgli/home/misc/contract/RTD-annex3-ist-fet.pdf [deleted file]
helm/mowgli/home/misc/contract/RTD-audit-cert-annex4.pdf [deleted file]
helm/mowgli/home/misc/contract/mowgli-an1-final.pdf [deleted file]
helm/mowgli/home/misc/contract/mowgli-ctr-final.pdf [deleted file]
helm/mowgli/home/misc/kick-off/AIP_Intro.ppt [deleted file]
helm/mowgli/home/misc/kick-off/KM2002GO.ps [deleted file]
helm/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps [deleted file]
helm/mowgli/home/misc/kick-off/MoWGLI-LogiCal.ps [deleted file]
helm/mowgli/home/misc/kick-off/lemme2.ppt [deleted file]
helm/mowgli/home/misc/proposal/MOWGLI.xls [deleted file]
helm/mowgli/home/misc/proposal/mowgli.pdf [deleted file]
helm/mowgli/home/misc/proposal/mowgli.ps [deleted file]
helm/mowgli/home/misc/proposal/proposal.tgz [deleted file]
helm/mowgli/home/style/mowgli.css [deleted file]
helm/mowgli/home/templates/index.html [deleted file]
helm/mowgli/home/templates/ml-help-example.txt [deleted file]
helm/mowgli/home/xml/Makefile [deleted file]
helm/mowgli/home/xml/consortium.xml [deleted file]
helm/mowgli/home/xml/deliverables/deliverable.dtd [deleted file]
helm/mowgli/home/xml/deliverables/distribution/d5a.xml [deleted file]
helm/mowgli/home/xml/deliverables/distribution/d5b.xml [deleted file]
helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7a.xml [deleted file]
helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7b.xml [deleted file]
helm/mowgli/home/xml/deliverables/interfaces/d4a.xml [deleted file]
helm/mowgli/home/xml/deliverables/interfaces/d4b.xml [deleted file]
helm/mowgli/home/xml/deliverables/interfaces/d4c.xml [deleted file]
helm/mowgli/home/xml/deliverables/interfaces/d4d.xml [deleted file]
helm/mowgli/home/xml/deliverables/interfaces/d4e.xml [deleted file]
helm/mowgli/home/xml/deliverables/metadata/d3a.xml [deleted file]
helm/mowgli/home/xml/deliverables/metadata/d3b.xml [deleted file]
helm/mowgli/home/xml/deliverables/project-management/d0a.xml [deleted file]
helm/mowgli/home/xml/deliverables/project-management/d0b.xml [deleted file]
helm/mowgli/home/xml/deliverables/project-management/d0c.xml [deleted file]
helm/mowgli/home/xml/deliverables/project-management/d0d.xml [deleted file]
helm/mowgli/home/xml/deliverables/requirement-analysis/d1a.xml [deleted file]
helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml [deleted file]
helm/mowgli/home/xml/deliverables/requirement-analysis/d1c.xml [deleted file]
helm/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml [deleted file]
helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml [deleted file]
helm/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml [deleted file]
helm/mowgli/home/xml/deliverables/testing-and-validation/d6d.xml [deleted file]
helm/mowgli/home/xml/deliverables/transformation/d2a.xml [deleted file]
helm/mowgli/home/xml/deliverables/transformation/d2b.xml [deleted file]
helm/mowgli/home/xml/deliverables/transformation/d2c.xml [deleted file]
helm/mowgli/home/xml/deliverables/transformation/d2d.xml [deleted file]
helm/mowgli/home/xml/deliverables/transformation/d2e.xml [deleted file]
helm/mowgli/home/xml/deliverables/transformation/d2f.xml [deleted file]
helm/mowgli/home/xml/deliverables/transformation/d2g.xml [deleted file]
helm/mowgli/home/xml/home.xml [deleted file]
helm/mowgli/home/xml/members-index.xml [deleted file]
helm/mowgli/home/xml/members/kick-off.xml [deleted file]
helm/mowgli/home/xml/menu.xml [deleted file]
helm/mowgli/home/xml/mowgli-events.xml [deleted file]
helm/mowgli/home/xml/mowgli-events/kick-off.xml [deleted file]
helm/mowgli/home/xml/mowgli-xhtml1-transitional.dtd [deleted file]
helm/mowgli/home/xml/news.xml [deleted file]
helm/mowgli/home/xml/other-events.xml [deleted file]
helm/mowgli/home/xml/people/aei/kelley.xml [deleted file]
helm/mowgli/home/xml/people/aei/pollney.xml [deleted file]
helm/mowgli/home/xml/people/aei/schutz.xml [deleted file]
helm/mowgli/home/xml/people/aei/velden.xml [deleted file]
helm/mowgli/home/xml/people/aei/wegner.xml [deleted file]
helm/mowgli/home/xml/people/aei/weyher.xml [deleted file]
helm/mowgli/home/xml/people/bologna/asperti.xml [deleted file]
helm/mowgli/home/xml/people/bologna/guidi.xml [deleted file]
helm/mowgli/home/xml/people/bologna/padovani.xml [deleted file]
helm/mowgli/home/xml/people/bologna/sacerdoti.xml [deleted file]
helm/mowgli/home/xml/people/bologna/schena.xml [deleted file]
helm/mowgli/home/xml/people/dfki/goguadze.xml [deleted file]
helm/mowgli/home/xml/people/dfki/kohlhase.xml [deleted file]
helm/mowgli/home/xml/people/dfki/libbrecht.xml [deleted file]
helm/mowgli/home/xml/people/dfki/melis.xml [deleted file]
helm/mowgli/home/xml/people/dfki/moschner.xml [deleted file]
helm/mowgli/home/xml/people/dfki/siekmann.xml [deleted file]
helm/mowgli/home/xml/people/index.xml [deleted file]
helm/mowgli/home/xml/people/inria/amerkad.xml [deleted file]
helm/mowgli/home/xml/people/inria/bertot.xml [deleted file]
helm/mowgli/home/xml/people/inria/chicli.xml [deleted file]
helm/mowgli/home/xml/people/inria/delahaye.xml [deleted file]
helm/mowgli/home/xml/people/inria/herbelin.xml [deleted file]
helm/mowgli/home/xml/people/inria/naciri.xml [deleted file]
helm/mowgli/home/xml/people/inria/pottier.xml [deleted file]
helm/mowgli/home/xml/people/inria/rideau.xml [deleted file]
helm/mowgli/home/xml/people/inria/thery.xml [deleted file]
helm/mowgli/home/xml/people/inria/werner.xml [deleted file]
helm/mowgli/home/xml/people/nijmegen/barendregt.xml [deleted file]
helm/mowgli/home/xml/people/nijmegen/barreiro.xml [deleted file]
helm/mowgli/home/xml/people/nijmegen/cohen.xml [deleted file]
helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml [deleted file]
helm/mowgli/home/xml/people/nijmegen/geuvers.xml [deleted file]
helm/mowgli/home/xml/people/nijmegen/niqui.xml [deleted file]
helm/mowgli/home/xml/people/nijmegen/stein.xml [deleted file]
helm/mowgli/home/xml/people/nijmegen/synek.xml [deleted file]
helm/mowgli/home/xml/people/nijmegen/wiedijk.xml [deleted file]
helm/mowgli/home/xml/people/person.dtd [deleted file]
helm/mowgli/home/xml/people/trusted-logic/bolignano.xml [deleted file]
helm/mowgli/home/xml/people/trusted-logic/gimenez.xml [deleted file]
helm/mowgli/home/xml/people/trusted-logic/loiseaux.xml [deleted file]
helm/mowgli/home/xml/project.xml [deleted file]
helm/mowgli/home/xml/proposal/EC-contribution.xml [deleted file]
helm/mowgli/home/xml/proposal/contribution.xml [deleted file]
helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml [deleted file]
helm/mowgli/home/xml/proposal/innovation.xml [deleted file]
helm/mowgli/home/xml/proposal/project-components.xml [deleted file]
helm/mowgli/home/xml/proposal/project-management.xml [deleted file]
helm/mowgli/home/xml/proposal/project-objectives.xml [deleted file]
helm/mowgli/home/xml/proposal/project-planning.xml [deleted file]
helm/mowgli/home/xml/proposal/project-summary.xml [deleted file]
helm/mowgli/home/xml/publications/index.xml [deleted file]
helm/mowgli/home/xml/publications/mowgli/crimea2002_aw.xml [deleted file]
helm/mowgli/home/xml/publications/mowgli/crimea2002_aw_on_line.xml [deleted file]
helm/mowgli/home/xml/publications/others/category_al.xml [deleted file]
helm/mowgli/home/xml/publications/others/cc.xml [deleted file]
helm/mowgli/home/xml/publications/others/crimea2001_apss.xml [deleted file]
helm/mowgli/home/xml/publications/others/cup_hp91.xml [deleted file]
helm/mowgli/home/xml/publications/others/cup_hp93.xml [deleted file]
helm/mowgli/home/xml/publications/others/cup_s.xml [deleted file]
helm/mowgli/home/xml/publications/others/cup_s2.xml [deleted file]
helm/mowgli/home/xml/publications/others/extreme2001_apss.xml [deleted file]
helm/mowgli/home/xml/publications/others/har_bg.xml [deleted file]
helm/mowgli/home/xml/publications/others/jep_ws.xml [deleted file]
helm/mowgli/home/xml/publications/others/jep_wwsw.xml [deleted file]
helm/mowgli/home/xml/publications/others/jlp2001_scg.xml [deleted file]
helm/mowgli/home/xml/publications/others/mathml2000_apss.xml [deleted file]
helm/mowgli/home/xml/publications/others/mscs_gb.xml [deleted file]
helm/mowgli/home/xml/publications/others/publication.dtd [deleted file]
helm/mowgli/home/xml/publications/others/tcs2001_og.xml [deleted file]
helm/mowgli/home/xml/publications/others/tphols2000_gwz.xml [deleted file]
helm/mowgli/home/xml/publications/others/tphols2001_apss.xml [deleted file]
helm/mowgli/home/xml/publications/others/w3c_bl98.xml [deleted file]
helm/mowgli/home/xml/sites/aei.xml [deleted file]
helm/mowgli/home/xml/sites/bologna.xml [deleted file]
helm/mowgli/home/xml/sites/dfki.xml [deleted file]
helm/mowgli/home/xml/sites/inria.xml [deleted file]
helm/mowgli/home/xml/sites/nijmegen.xml [deleted file]
helm/mowgli/home/xml/sites/site.dtd [deleted file]
helm/mowgli/home/xml/sites/trusted-logic.xml [deleted file]
helm/mowgli/home/xml/slides/mowgligroup.xml [deleted file]
helm/mowgli/home/xml/software/index.xml [deleted file]
helm/mowgli/home/xml/work-packages/distribution.xml [deleted file]
helm/mowgli/home/xml/work-packages/index.xml [deleted file]
helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml [deleted file]
helm/mowgli/home/xml/work-packages/interfaces.xml [deleted file]
helm/mowgli/home/xml/work-packages/metadata.xml [deleted file]
helm/mowgli/home/xml/work-packages/project-management.xml [deleted file]
helm/mowgli/home/xml/work-packages/requirement-analysis.xml [deleted file]
helm/mowgli/home/xml/work-packages/testing-and-validation.xml [deleted file]
helm/mowgli/home/xml/work-packages/transformation.xml [deleted file]
helm/mowgli/home/xml/work-packages/work-package.dtd [deleted file]
helm/mowgli/home/xsl/approaching-deadlines.xsl [deleted file]
helm/mowgli/home/xsl/common.xsl [deleted file]
helm/mowgli/home/xsl/consortium.xsl [deleted file]
helm/mowgli/home/xsl/deadlines.xsl [deleted file]
helm/mowgli/home/xsl/deliverable.xsl [deleted file]
helm/mowgli/home/xsl/events.xsl [deleted file]
helm/mowgli/home/xsl/latest-news.xsl [deleted file]
helm/mowgli/home/xsl/management.xsl [deleted file]
helm/mowgli/home/xsl/minutes.xsl [deleted file]
helm/mowgli/home/xsl/news.xsl [deleted file]
helm/mowgli/home/xsl/people-list.xsl [deleted file]
helm/mowgli/home/xsl/person.xsl [deleted file]
helm/mowgli/home/xsl/project.xsl [deleted file]
helm/mowgli/home/xsl/publication.xsl [deleted file]
helm/mowgli/home/xsl/publications-index.xsl [deleted file]
helm/mowgli/home/xsl/site.xsl [deleted file]
helm/mowgli/home/xsl/work-package.xsl [deleted file]
helm/mowgli/home/xsl/work-packages_index.xsl [deleted file]
helm/mowgli/home/xsl/xhtml-content.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_abstract.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_annotatedpres.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_content_to_html2.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_expand.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_html_arith.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_html_basic.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_link.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_links_library.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_mmlextension.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_proof.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_rules.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_term.xsl [deleted file]
helm/nuprl_stylesheets/nuprl_tree.xsl [deleted file]
helm/nuprl_stylesheets/xslt_index.txt [deleted file]
helm/ocaml/.cvsignore [deleted file]
helm/ocaml/METAS/.cvsignore [deleted file]
helm/ocaml/METAS/meta.helm-cic.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_annotations.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_annotations_cache.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_cache.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_disambiguation.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_notation.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_omdoc.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_proof_checking.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_textual_parser.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_transformations.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_unification.src [deleted file]
helm/ocaml/METAS/meta.helm-extlib.src [deleted file]
helm/ocaml/METAS/meta.helm-getter.src [deleted file]
helm/ocaml/METAS/meta.helm-hbugs.src [deleted file]
helm/ocaml/METAS/meta.helm-hmysql.src [deleted file]
helm/ocaml/METAS/meta.helm-logger.src [deleted file]
helm/ocaml/METAS/meta.helm-mathql.src [deleted file]
helm/ocaml/METAS/meta.helm-mathql_generator.src [deleted file]
helm/ocaml/METAS/meta.helm-mathql_interpreter.src [deleted file]
helm/ocaml/METAS/meta.helm-metadata.src [deleted file]
helm/ocaml/METAS/meta.helm-paramodulation.src [deleted file]
helm/ocaml/METAS/meta.helm-pxp.src [deleted file]
helm/ocaml/METAS/meta.helm-registry.src [deleted file]
helm/ocaml/METAS/meta.helm-tactics.src [deleted file]
helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src [deleted file]
helm/ocaml/METAS/meta.helm-thread.src [deleted file]
helm/ocaml/METAS/meta.helm-urimanager.src [deleted file]
helm/ocaml/METAS/meta.helm-utf8_macros.src [deleted file]
helm/ocaml/METAS/meta.helm-xml.src [deleted file]
helm/ocaml/METAS/meta.helm-xmldiff.src [deleted file]
helm/ocaml/Makefile.common.in [deleted file]
helm/ocaml/Makefile.in [deleted file]
helm/ocaml/TODO [deleted file]
helm/ocaml/cic/.cvsignore [deleted file]
helm/ocaml/cic/.depend [deleted file]
helm/ocaml/cic/Makefile [deleted file]
helm/ocaml/cic/cic.ml [deleted file]
helm/ocaml/cic/cicParser.ml [deleted file]
helm/ocaml/cic/cicParser.mli [deleted file]
helm/ocaml/cic/cicUniv.ml [deleted file]
helm/ocaml/cic/cicUniv.mli [deleted file]
helm/ocaml/cic/cicUtil.ml [deleted file]
helm/ocaml/cic/cicUtil.mli [deleted file]
helm/ocaml/cic/deannotate.ml [deleted file]
helm/ocaml/cic/deannotate.mli [deleted file]
helm/ocaml/cic/helmLibraryObjects.ml [deleted file]
helm/ocaml/cic/helmLibraryObjects.mli [deleted file]
helm/ocaml/cic/libraryObjects.ml [deleted file]
helm/ocaml/cic/libraryObjects.mli [deleted file]
helm/ocaml/cic/test.ml [deleted file]
helm/ocaml/cic/unshare.ml [deleted file]
helm/ocaml/cic/unshare.mli [deleted file]
helm/ocaml/cic_disambiguation/.cvsignore [deleted file]
helm/ocaml/cic_disambiguation/.depend [deleted file]
helm/ocaml/cic_disambiguation/Makefile [deleted file]
helm/ocaml/cic_disambiguation/disambiguate.ml [deleted file]
helm/ocaml/cic_disambiguation/disambiguate.mli [deleted file]
helm/ocaml/cic_disambiguation/disambiguateChoices.ml [deleted file]
helm/ocaml/cic_disambiguation/disambiguateChoices.mli [deleted file]
helm/ocaml/cic_disambiguation/disambiguatePp.ml [deleted file]
helm/ocaml/cic_disambiguation/disambiguatePp.mli [deleted file]
helm/ocaml/cic_disambiguation/disambiguateTypes.ml [deleted file]
helm/ocaml/cic_disambiguation/disambiguateTypes.mli [deleted file]
helm/ocaml/cic_disambiguation/doc/precedence.txt [deleted file]
helm/ocaml/cic_disambiguation/number_notation.ml [deleted file]
helm/ocaml/cic_disambiguation/tests/aliases.txt [deleted file]
helm/ocaml/cic_disambiguation/tests/eq.txt [deleted file]
helm/ocaml/cic_disambiguation/tests/match.txt [deleted file]
helm/ocaml/cic_notation/.cvsignore [deleted file]
helm/ocaml/cic_notation/.depend [deleted file]
helm/ocaml/cic_notation/Makefile [deleted file]
helm/ocaml/cic_notation/TODO [deleted file]
helm/ocaml/cic_notation/box.ml [deleted file]
helm/ocaml/cic_notation/box.mli [deleted file]
helm/ocaml/cic_notation/boxPp.ml [deleted file]
helm/ocaml/cic_notation/boxPp.mli [deleted file]
helm/ocaml/cic_notation/cicNotation.ml [deleted file]
helm/ocaml/cic_notation/cicNotation.mli [deleted file]
helm/ocaml/cic_notation/cicNotationEnv.ml [deleted file]
helm/ocaml/cic_notation/cicNotationEnv.mli [deleted file]
helm/ocaml/cic_notation/cicNotationFwd.ml [deleted file]
helm/ocaml/cic_notation/cicNotationFwd.mli [deleted file]
helm/ocaml/cic_notation/cicNotationLexer.ml [deleted file]
helm/ocaml/cic_notation/cicNotationLexer.mli [deleted file]
helm/ocaml/cic_notation/cicNotationMatcher.ml [deleted file]
helm/ocaml/cic_notation/cicNotationMatcher.mli [deleted file]
helm/ocaml/cic_notation/cicNotationParser.expanded.ml [deleted file]
helm/ocaml/cic_notation/cicNotationParser.ml [deleted file]
helm/ocaml/cic_notation/cicNotationParser.mli [deleted file]
helm/ocaml/cic_notation/cicNotationPp.ml [deleted file]
helm/ocaml/cic_notation/cicNotationPp.mli [deleted file]
helm/ocaml/cic_notation/cicNotationPres.ml [deleted file]
helm/ocaml/cic_notation/cicNotationPres.mli [deleted file]
helm/ocaml/cic_notation/cicNotationPt.ml [deleted file]
helm/ocaml/cic_notation/cicNotationRew.ml [deleted file]
helm/ocaml/cic_notation/cicNotationRew.mli [deleted file]
helm/ocaml/cic_notation/cicNotationTag.ml [deleted file]
helm/ocaml/cic_notation/cicNotationTag.mli [deleted file]
helm/ocaml/cic_notation/cicNotationUtil.ml [deleted file]
helm/ocaml/cic_notation/cicNotationUtil.mli [deleted file]
helm/ocaml/cic_notation/doc/.cvsignore [deleted file]
helm/ocaml/cic_notation/doc/Makefile [deleted file]
helm/ocaml/cic_notation/doc/body.tex [deleted file]
helm/ocaml/cic_notation/doc/infernce.sty [deleted file]
helm/ocaml/cic_notation/doc/ligature.sty [deleted file]
helm/ocaml/cic_notation/doc/main.tex [deleted file]
helm/ocaml/cic_notation/doc/manfnt.sty [deleted file]
helm/ocaml/cic_notation/doc/reserved.sty [deleted file]
helm/ocaml/cic_notation/doc/samples.ma [deleted file]
helm/ocaml/cic_notation/doc/semantic.sty [deleted file]
helm/ocaml/cic_notation/doc/shrthand.sty [deleted file]
helm/ocaml/cic_notation/doc/tdiagram.sty [deleted file]
helm/ocaml/cic_notation/grafiteAst.ml [deleted file]
helm/ocaml/cic_notation/grafiteAstPp.ml [deleted file]
helm/ocaml/cic_notation/grafiteAstPp.mli [deleted file]
helm/ocaml/cic_notation/grafiteParser.ml [deleted file]
helm/ocaml/cic_notation/grafiteParser.mli [deleted file]
helm/ocaml/cic_notation/mpresentation.ml [deleted file]
helm/ocaml/cic_notation/mpresentation.mli [deleted file]
helm/ocaml/cic_notation/print_grammar.ml [deleted file]
helm/ocaml/cic_notation/renderingAttrs.ml [deleted file]
helm/ocaml/cic_notation/renderingAttrs.mli [deleted file]
helm/ocaml/cic_notation/test_dep.ml [deleted file]
helm/ocaml/cic_notation/test_lexer.ml [deleted file]
helm/ocaml/cic_notation/test_parser.conf.xml [deleted file]
helm/ocaml/cic_notation/test_parser.ml [deleted file]
helm/ocaml/cic_omdoc/.cvsignore [deleted file]
helm/ocaml/cic_omdoc/.depend [deleted file]
helm/ocaml/cic_omdoc/Makefile [deleted file]
helm/ocaml/cic_omdoc/cic2acic.ml [deleted file]
helm/ocaml/cic_omdoc/cic2acic.mli [deleted file]
helm/ocaml/cic_omdoc/cic2content.ml [deleted file]
helm/ocaml/cic_omdoc/cic2content.mli [deleted file]
helm/ocaml/cic_omdoc/content.ml [deleted file]
helm/ocaml/cic_omdoc/content.mli [deleted file]
helm/ocaml/cic_omdoc/content2cic.ml [deleted file]
helm/ocaml/cic_omdoc/content2cic.mli [deleted file]
helm/ocaml/cic_omdoc/contentPp.ml [deleted file]
helm/ocaml/cic_omdoc/contentPp.mli [deleted file]
helm/ocaml/cic_omdoc/doubleTypeInference.ml [deleted file]
helm/ocaml/cic_omdoc/doubleTypeInference.mli [deleted file]
helm/ocaml/cic_omdoc/eta_fixing.ml [deleted file]
helm/ocaml/cic_omdoc/eta_fixing.mli [deleted file]
helm/ocaml/cic_proof_checking/.cvsignore [deleted file]
helm/ocaml/cic_proof_checking/.depend [deleted file]
helm/ocaml/cic_proof_checking/Makefile [deleted file]
helm/ocaml/cic_proof_checking/cicElim.ml [deleted file]
helm/ocaml/cic_proof_checking/cicElim.mli [deleted file]
helm/ocaml/cic_proof_checking/cicEnvironment.ml [deleted file]
helm/ocaml/cic_proof_checking/cicEnvironment.mli [deleted file]
helm/ocaml/cic_proof_checking/cicLogger.ml [deleted file]
helm/ocaml/cic_proof_checking/cicLogger.mli [deleted file]
helm/ocaml/cic_proof_checking/cicMiniReduction.ml [deleted file]
helm/ocaml/cic_proof_checking/cicMiniReduction.mli [deleted file]
helm/ocaml/cic_proof_checking/cicPp.ml [deleted file]
helm/ocaml/cic_proof_checking/cicPp.mli [deleted file]
helm/ocaml/cic_proof_checking/cicRecord.ml [deleted file]
helm/ocaml/cic_proof_checking/cicRecord.mli [deleted file]
helm/ocaml/cic_proof_checking/cicReduction.ml [deleted file]
helm/ocaml/cic_proof_checking/cicReduction.mli [deleted file]
helm/ocaml/cic_proof_checking/cicSubstitution.ml [deleted file]
helm/ocaml/cic_proof_checking/cicSubstitution.mli [deleted file]
helm/ocaml/cic_proof_checking/cicTypeChecker.ml [deleted file]
helm/ocaml/cic_proof_checking/cicTypeChecker.mli [deleted file]
helm/ocaml/cic_proof_checking/cicUnivUtils.ml [deleted file]
helm/ocaml/cic_proof_checking/cicUnivUtils.mli [deleted file]
helm/ocaml/cic_proof_checking/doc/inductive.txt [deleted file]
helm/ocaml/cic_proof_checking/freshNamesGenerator.ml [deleted file]
helm/ocaml/cic_proof_checking/freshNamesGenerator.mli [deleted file]
helm/ocaml/cic_proof_checking/utilities/.cvsignore [deleted file]
helm/ocaml/cic_proof_checking/utilities/Makefile [deleted file]
helm/ocaml/cic_proof_checking/utilities/create_environment.ml [deleted file]
helm/ocaml/cic_proof_checking/utilities/list_uris.ml [deleted file]
helm/ocaml/cic_proof_checking/utilities/parse_library.ml [deleted file]
helm/ocaml/cic_transformations/.cvsignore [deleted file]
helm/ocaml/cic_transformations/.depend [deleted file]
helm/ocaml/cic_transformations/Makefile [deleted file]
helm/ocaml/cic_transformations/applyTransformation.ml [deleted file]
helm/ocaml/cic_transformations/applyTransformation.mli [deleted file]
helm/ocaml/cic_transformations/cic2Xml.ml [deleted file]
helm/ocaml/cic_transformations/cic2Xml.mli [deleted file]
helm/ocaml/cic_transformations/content2pres.ml [deleted file]
helm/ocaml/cic_transformations/content2pres.mli [deleted file]
helm/ocaml/cic_transformations/content_expressions.ml [deleted file]
helm/ocaml/cic_transformations/domMisc.ml [deleted file]
helm/ocaml/cic_transformations/domMisc.mli [deleted file]
helm/ocaml/cic_transformations/sequent2pres.ml [deleted file]
helm/ocaml/cic_transformations/sequent2pres.mli [deleted file]
helm/ocaml/cic_transformations/xml2Gdome.ml [deleted file]
helm/ocaml/cic_transformations/xml2Gdome.mli [deleted file]
helm/ocaml/cic_unification/.cvsignore [deleted file]
helm/ocaml/cic_unification/.depend [deleted file]
helm/ocaml/cic_unification/Makefile [deleted file]
helm/ocaml/cic_unification/cicMetaSubst.ml [deleted file]
helm/ocaml/cic_unification/cicMetaSubst.mli [deleted file]
helm/ocaml/cic_unification/cicMkImplicit.ml [deleted file]
helm/ocaml/cic_unification/cicMkImplicit.mli [deleted file]
helm/ocaml/cic_unification/cicRefine.ml [deleted file]
helm/ocaml/cic_unification/cicRefine.mli [deleted file]
helm/ocaml/cic_unification/cicUnification.ml [deleted file]
helm/ocaml/cic_unification/cicUnification.mli [deleted file]
helm/ocaml/cic_unification/coercDb.ml [deleted file]
helm/ocaml/cic_unification/coercDb.mli [deleted file]
helm/ocaml/cic_unification/coercGraph.ml [deleted file]
helm/ocaml/cic_unification/coercGraph.mli [deleted file]
helm/ocaml/configure.ac [deleted file]
helm/ocaml/extlib/.cvsignore [deleted file]
helm/ocaml/extlib/.depend [deleted file]
helm/ocaml/extlib/Makefile [deleted file]
helm/ocaml/extlib/hExtlib.ml [deleted file]
helm/ocaml/extlib/hExtlib.mli [deleted file]
helm/ocaml/getter/.cvsignore [deleted file]
helm/ocaml/getter/.depend [deleted file]
helm/ocaml/getter/.ocamlinit [deleted file]
helm/ocaml/getter/Makefile [deleted file]
helm/ocaml/getter/http_getter.ml [deleted file]
helm/ocaml/getter/http_getter.mli [deleted file]
helm/ocaml/getter/http_getter_common.ml [deleted file]
helm/ocaml/getter/http_getter_common.mli [deleted file]
helm/ocaml/getter/http_getter_const.ml [deleted file]
helm/ocaml/getter/http_getter_const.mli [deleted file]
helm/ocaml/getter/http_getter_env.ml [deleted file]
helm/ocaml/getter/http_getter_env.mli [deleted file]
helm/ocaml/getter/http_getter_logger.ml [deleted file]
helm/ocaml/getter/http_getter_logger.mli [deleted file]
helm/ocaml/getter/http_getter_misc.ml [deleted file]
helm/ocaml/getter/http_getter_misc.mli [deleted file]
helm/ocaml/getter/http_getter_storage.ml [deleted file]
helm/ocaml/getter/http_getter_storage.mli [deleted file]
helm/ocaml/getter/http_getter_types.ml [deleted file]
helm/ocaml/getter/http_getter_wget.ml [deleted file]
helm/ocaml/getter/http_getter_wget.mli [deleted file]
helm/ocaml/getter/mkindexes.pl [deleted file]
helm/ocaml/getter/sample.conf.xml [deleted file]
helm/ocaml/getter/test.ml [deleted file]
helm/ocaml/hbugs/.cvsignore [deleted file]
helm/ocaml/hbugs/.depend [deleted file]
helm/ocaml/hbugs/Makefile [deleted file]
helm/ocaml/hbugs/broker.ml [deleted file]
helm/ocaml/hbugs/client.ml [deleted file]
helm/ocaml/hbugs/data/.cvsignore [deleted file]
helm/ocaml/hbugs/data/hbugs_tutor.TPL.ml [deleted file]
helm/ocaml/hbugs/data/tutors_index.xml [deleted file]
helm/ocaml/hbugs/doc/.cvsignore [deleted file]
helm/ocaml/hbugs/doc/hbugs.dia [deleted file]
helm/ocaml/hbugs/hbugs_broker_registry.ml [deleted file]
helm/ocaml/hbugs/hbugs_broker_registry.mli [deleted file]
helm/ocaml/hbugs/hbugs_client.ml [deleted file]
helm/ocaml/hbugs/hbugs_client.mli [deleted file]
helm/ocaml/hbugs/hbugs_client_gui.glade [deleted file]
helm/ocaml/hbugs/hbugs_common.ml [deleted file]
helm/ocaml/hbugs/hbugs_common.mli [deleted file]
helm/ocaml/hbugs/hbugs_id_generator.ml [deleted file]
helm/ocaml/hbugs/hbugs_id_generator.mli [deleted file]
helm/ocaml/hbugs/hbugs_messages.ml [deleted file]
helm/ocaml/hbugs/hbugs_messages.mli [deleted file]
helm/ocaml/hbugs/hbugs_misc.ml [deleted file]
helm/ocaml/hbugs/hbugs_misc.mli [deleted file]
helm/ocaml/hbugs/hbugs_tutors.ml [deleted file]
helm/ocaml/hbugs/hbugs_tutors.mli [deleted file]
helm/ocaml/hbugs/hbugs_types.mli [deleted file]
helm/ocaml/hbugs/run/.cvsignore [deleted file]
helm/ocaml/hbugs/scripts/brokerctl.sh [deleted file]
helm/ocaml/hbugs/scripts/build_tutors.ml [deleted file]
helm/ocaml/hbugs/scripts/ls_tutors.ml [deleted file]
helm/ocaml/hbugs/scripts/sabba.sh [deleted file]
helm/ocaml/hbugs/search_pattern_apply_tutor.ml [deleted file]
helm/ocaml/hbugs/test/.cvsignore [deleted file]
helm/ocaml/hbugs/test/HBUGS_MESSAGES.xml [deleted file]
helm/ocaml/hbugs/test/Makefile [deleted file]
helm/ocaml/hbugs/test/test_serialization.ml [deleted file]
helm/ocaml/hmysql/.cvsignore [deleted file]
helm/ocaml/hmysql/.depend [deleted file]
helm/ocaml/hmysql/Makefile [deleted file]
helm/ocaml/hmysql/hMysql.ml [deleted file]
helm/ocaml/hmysql/hMysql.mli [deleted file]
helm/ocaml/license [deleted file]
helm/ocaml/logger/.cvsignore [deleted file]
helm/ocaml/logger/.depend [deleted file]
helm/ocaml/logger/Makefile [deleted file]
helm/ocaml/logger/helmLogger.ml [deleted file]
helm/ocaml/logger/helmLogger.mli [deleted file]
helm/ocaml/mathql/.cvsignore [deleted file]
helm/ocaml/mathql/.depend [deleted file]
helm/ocaml/mathql/Makefile [deleted file]
helm/ocaml/mathql/mathQL.ml [deleted file]
helm/ocaml/mathql_generator/.cvsignore [deleted file]
helm/ocaml/mathql_generator/.depend [deleted file]
helm/ocaml/mathql_generator/Makefile [deleted file]
helm/ocaml/mathql_generator/cGLocateInductive.ml [deleted file]
helm/ocaml/mathql_generator/cGLocateInductive.mli [deleted file]
helm/ocaml/mathql_generator/cGMatchConclusion.ml [deleted file]
helm/ocaml/mathql_generator/cGMatchConclusion.mli [deleted file]
helm/ocaml/mathql_generator/cGSearchPattern.ml [deleted file]
helm/ocaml/mathql_generator/cGSearchPattern.mli [deleted file]
helm/ocaml/mathql_generator/mQGTypes.ml [deleted file]
helm/ocaml/mathql_generator/mQGUtil.ml [deleted file]
helm/ocaml/mathql_generator/mQGUtil.mli [deleted file]
helm/ocaml/mathql_generator/mQueryGenerator.ml [deleted file]
helm/ocaml/mathql_generator/mQueryGenerator.mli [deleted file]
helm/ocaml/mathql_interpreter/.cvsignore [deleted file]
helm/ocaml/mathql_interpreter/.depend [deleted file]
helm/ocaml/mathql_interpreter/Makefile [deleted file]
helm/ocaml/mathql_interpreter/mQIConn.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIConn.mli [deleted file]
helm/ocaml/mathql_interpreter/mQIMap.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIMap.mli [deleted file]
helm/ocaml/mathql_interpreter/mQIMySql.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIMySql.mli [deleted file]
helm/ocaml/mathql_interpreter/mQIPostgres.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIPostgres.mli [deleted file]
helm/ocaml/mathql_interpreter/mQIProperty.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIProperty.mli [deleted file]
helm/ocaml/mathql_interpreter/mQITypes.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIUtil.ml [deleted file]
helm/ocaml/mathql_interpreter/mQIUtil.mli [deleted file]
helm/ocaml/mathql_interpreter/mQueryInterpreter.ml [deleted file]
helm/ocaml/mathql_interpreter/mQueryInterpreter.mli [deleted file]
helm/ocaml/mathql_interpreter/mQueryTLexer.mll [deleted file]
helm/ocaml/mathql_interpreter/mQueryTParser.mly [deleted file]
helm/ocaml/mathql_interpreter/mQueryUtil.ml [deleted file]
helm/ocaml/mathql_interpreter/mQueryUtil.mli [deleted file]
helm/ocaml/metadata/.cvsignore [deleted file]
helm/ocaml/metadata/.depend [deleted file]
helm/ocaml/metadata/Makefile [deleted file]
helm/ocaml/metadata/dump_db/dump.sh [deleted file]
helm/ocaml/metadata/extractor/.cvsignore [deleted file]
helm/ocaml/metadata/extractor/.depend [deleted file]
helm/ocaml/metadata/extractor/Makefile [deleted file]
helm/ocaml/metadata/extractor/extractor.conf.xml [deleted file]
helm/ocaml/metadata/extractor/extractor.ml [deleted file]
helm/ocaml/metadata/extractor/extractor_manager.ml [deleted file]
helm/ocaml/metadata/metadataConstraints.ml [deleted file]
helm/ocaml/metadata/metadataConstraints.mli [deleted file]
helm/ocaml/metadata/metadataDb.ml [deleted file]
helm/ocaml/metadata/metadataDb.mli [deleted file]
helm/ocaml/metadata/metadataExtractor.ml [deleted file]
helm/ocaml/metadata/metadataExtractor.mli [deleted file]
helm/ocaml/metadata/metadataPp.ml [deleted file]
helm/ocaml/metadata/metadataPp.mli [deleted file]
helm/ocaml/metadata/metadataTypes.ml [deleted file]
helm/ocaml/metadata/metadataTypes.mli [deleted file]
helm/ocaml/metadata/sqlStatements.ml [deleted file]
helm/ocaml/metadata/sqlStatements.mli [deleted file]
helm/ocaml/metadata/table_creator/.cvsignore [deleted file]
helm/ocaml/metadata/table_creator/.depend [deleted file]
helm/ocaml/metadata/table_creator/Makefile [deleted file]
helm/ocaml/metadata/table_creator/sync_db.sh [deleted file]
helm/ocaml/metadata/table_creator/table_creator.ml [deleted file]
helm/ocaml/paramodulation/.cvsignore [deleted file]
helm/ocaml/paramodulation/.depend [deleted file]
helm/ocaml/paramodulation/Makefile [deleted file]
helm/ocaml/paramodulation/README [deleted file]
helm/ocaml/paramodulation/discrimination_tree.ml [deleted file]
helm/ocaml/paramodulation/indexing.ml [deleted file]
helm/ocaml/paramodulation/inference.ml [deleted file]
helm/ocaml/paramodulation/inference.mli [deleted file]
helm/ocaml/paramodulation/path_indexing.ml [deleted file]
helm/ocaml/paramodulation/saturate_main.ml [deleted file]
helm/ocaml/paramodulation/saturation.ml [deleted file]
helm/ocaml/paramodulation/test_indexing.ml [deleted file]
helm/ocaml/paramodulation/trie.ml [deleted file]
helm/ocaml/paramodulation/utils.ml [deleted file]
helm/ocaml/paramodulation/utils.mli [deleted file]
helm/ocaml/registry/.cvsignore [deleted file]
helm/ocaml/registry/.depend [deleted file]
helm/ocaml/registry/.ocamlinit [deleted file]
helm/ocaml/registry/Makefile [deleted file]
helm/ocaml/registry/helm_registry.ml [deleted file]
helm/ocaml/registry/helm_registry.mli [deleted file]
helm/ocaml/registry/test.ml [deleted file]
helm/ocaml/registry/tests/sample.xml [deleted file]
helm/ocaml/registry/tests/sample_include.xml [deleted file]
helm/ocaml/tactics/.cvsignore [deleted file]
helm/ocaml/tactics/.depend [deleted file]
helm/ocaml/tactics/Makefile [deleted file]
helm/ocaml/tactics/autoTactic.ml [deleted file]
helm/ocaml/tactics/autoTactic.mli [deleted file]
helm/ocaml/tactics/continuationals.ml [deleted file]
helm/ocaml/tactics/continuationals.mli [deleted file]
helm/ocaml/tactics/discriminationTactics.ml [deleted file]
helm/ocaml/tactics/discriminationTactics.mli [deleted file]
helm/ocaml/tactics/doc/.cvsignore [deleted file]
helm/ocaml/tactics/doc/Makefile [deleted file]
helm/ocaml/tactics/doc/body.tex [deleted file]
helm/ocaml/tactics/doc/infernce.sty [deleted file]
helm/ocaml/tactics/doc/ligature.sty [deleted file]
helm/ocaml/tactics/doc/main.tex [deleted file]
helm/ocaml/tactics/doc/reserved.sty [deleted file]
helm/ocaml/tactics/doc/semantic.sty [deleted file]
helm/ocaml/tactics/doc/shrthand.sty [deleted file]
helm/ocaml/tactics/doc/tdiagram.sty [deleted file]
helm/ocaml/tactics/eliminationTactics.ml [deleted file]
helm/ocaml/tactics/eliminationTactics.mli [deleted file]
helm/ocaml/tactics/equalityTactics.ml [deleted file]
helm/ocaml/tactics/equalityTactics.mli [deleted file]
helm/ocaml/tactics/fourier.ml [deleted file]
helm/ocaml/tactics/fourier.mli [deleted file]
helm/ocaml/tactics/fourierR.ml [deleted file]
helm/ocaml/tactics/fourierR.mli [deleted file]
helm/ocaml/tactics/fwdSimplTactic.ml [deleted file]
helm/ocaml/tactics/fwdSimplTactic.mli [deleted file]
helm/ocaml/tactics/hashtbl_equiv.ml [deleted file]
helm/ocaml/tactics/hashtbl_equiv.mli [deleted file]
helm/ocaml/tactics/history.ml [deleted file]
helm/ocaml/tactics/history.mli [deleted file]
helm/ocaml/tactics/introductionTactics.ml [deleted file]
helm/ocaml/tactics/introductionTactics.mli [deleted file]
helm/ocaml/tactics/metadataQuery.ml [deleted file]
helm/ocaml/tactics/metadataQuery.mli [deleted file]
helm/ocaml/tactics/negationTactics.ml [deleted file]
helm/ocaml/tactics/negationTactics.mli [deleted file]
helm/ocaml/tactics/primitiveTactics.ml [deleted file]
helm/ocaml/tactics/primitiveTactics.mli [deleted file]
helm/ocaml/tactics/proofEngineHelpers.ml [deleted file]
helm/ocaml/tactics/proofEngineHelpers.mli [deleted file]
helm/ocaml/tactics/proofEngineReduction.ml [deleted file]
helm/ocaml/tactics/proofEngineReduction.mli [deleted file]
helm/ocaml/tactics/proofEngineStructuralRules.ml [deleted file]
helm/ocaml/tactics/proofEngineStructuralRules.mli [deleted file]
helm/ocaml/tactics/proofEngineTypes.ml [deleted file]
helm/ocaml/tactics/proofEngineTypes.mli [deleted file]
helm/ocaml/tactics/reductionTactics.ml [deleted file]
helm/ocaml/tactics/reductionTactics.mli [deleted file]
helm/ocaml/tactics/ring.ml [deleted file]
helm/ocaml/tactics/ring.mli [deleted file]
helm/ocaml/tactics/statefulProofEngine.ml [deleted file]
helm/ocaml/tactics/statefulProofEngine.mli [deleted file]
helm/ocaml/tactics/tacticChaser.ml [deleted file]
helm/ocaml/tactics/tacticals.ml [deleted file]
helm/ocaml/tactics/tacticals.mli [deleted file]
helm/ocaml/tactics/tactics.ml [deleted file]
helm/ocaml/tactics/tactics.mli [deleted file]
helm/ocaml/tactics/variousTactics.ml [deleted file]
helm/ocaml/tactics/variousTactics.mli [deleted file]
helm/ocaml/thread/.cvsignore [deleted file]
helm/ocaml/thread/.depend [deleted file]
helm/ocaml/thread/Makefile [deleted file]
helm/ocaml/thread/extThread.ml [deleted file]
helm/ocaml/thread/extThread.mli [deleted file]
helm/ocaml/thread/fake/.cvsignore [deleted file]
helm/ocaml/thread/fake/threadSafe.ml [deleted file]
helm/ocaml/thread/fake/threadSafe.mli [deleted file]
helm/ocaml/thread/threadSafe.ml [deleted file]
helm/ocaml/thread/threadSafe.mli [deleted file]
helm/ocaml/urimanager/.cvsignore [deleted file]
helm/ocaml/urimanager/.depend [deleted file]
helm/ocaml/urimanager/Makefile [deleted file]
helm/ocaml/urimanager/uriManager.ml [deleted file]
helm/ocaml/urimanager/uriManager.mli [deleted file]
helm/ocaml/utf8_macros/.cvsignore [deleted file]
helm/ocaml/utf8_macros/.depend [deleted file]
helm/ocaml/utf8_macros/Makefile [deleted file]
helm/ocaml/utf8_macros/README.syntax [deleted file]
helm/ocaml/utf8_macros/data/dictionary-tex.xml [deleted file]
helm/ocaml/utf8_macros/data/entities-table.xml [deleted file]
helm/ocaml/utf8_macros/data/extra-entities.xml [deleted file]
helm/ocaml/utf8_macros/make_table.ml [deleted file]
helm/ocaml/utf8_macros/pa_unicode_macro.ml [deleted file]
helm/ocaml/utf8_macros/test.ml [deleted file]
helm/ocaml/utf8_macros/utf8Macro.ml [deleted file]
helm/ocaml/utf8_macros/utf8Macro.mli [deleted file]
helm/ocaml/utf8_macros/utf8MacroTable.ml [deleted file]
helm/ocaml/xml/.cvsignore [deleted file]
helm/ocaml/xml/.depend [deleted file]
helm/ocaml/xml/Makefile [deleted file]
helm/ocaml/xml/test.ml [deleted file]
helm/ocaml/xml/xml.ml [deleted file]
helm/ocaml/xml/xml.mli [deleted file]
helm/ocaml/xml/xmlPushParser.ml [deleted file]
helm/ocaml/xml/xmlPushParser.mli [deleted file]
helm/ocaml/xmldiff/.cvsignore [deleted file]
helm/ocaml/xmldiff/.depend [deleted file]
helm/ocaml/xmldiff/Makefile [deleted file]
helm/ocaml/xmldiff/xmlDiff.ml [deleted file]
helm/ocaml/xmldiff/xmlDiff.mli [deleted file]
helm/on-line/html/cic/control.html [deleted file]
helm/on-line/html/cic/index.html [deleted file]
helm/on-line/html/configuration.html [deleted file]
helm/on-line/html/folder/control.html [deleted file]
helm/on-line/html/folder/index.html [deleted file]
helm/on-line/html/theory/control.html [deleted file]
helm/on-line/html/theory/index.html [deleted file]
helm/on-line/icons/folder.png [deleted file]
helm/on-line/icons/object.png [deleted file]
helm/on-line/icons/theory.png [deleted file]
helm/on-line/javascript/.cvsignore [deleted file]
helm/on-line/javascript/Makefile [deleted file]
helm/on-line/javascript/helmjsmenu.js [deleted file]
helm/on-line/javascript/prelude.js [deleted file]
helm/on-line/xslt/getParam.xsl [deleted file]
helm/on-line/xslt/ls2theory.xsl [deleted file]
helm/on-line/xslt/makeGraphLinks.xsl [deleted file]
helm/on-line/xslt/metadataControl.xsl [deleted file]
helm/on-line/xslt/resolve_topurl.xsl [deleted file]
helm/on-line/xslt/search.xsl [deleted file]
helm/on-line/xslt/substKey.xsl [deleted file]
helm/on-line/xslt/toplevel_header.xsl [deleted file]
helm/on-line/xslt/utils.xsl [deleted file]
helm/on-line/xslt/xslt_index.txt [deleted file]
helm/pacchetti/Makefile [deleted file]
helm/papers/calculemus-2003/.cvsignore [deleted file]
helm/papers/calculemus-2003/Makefile [deleted file]
helm/papers/calculemus-2003/draftstamp.sty [deleted file]
helm/papers/calculemus-2003/ed.sty [deleted file]
helm/papers/calculemus-2003/eps/arch.dia [deleted file]
helm/papers/calculemus-2003/eps/arch.eps [deleted file]
helm/papers/calculemus-2003/eps/interfaces.dia [deleted file]
helm/papers/calculemus-2003/eps/interfaces.eps [deleted file]
helm/papers/calculemus-2003/eps/status.eps [deleted file]
helm/papers/calculemus-2003/eps/step1.eps [deleted file]
helm/papers/calculemus-2003/eps/step2.eps [deleted file]
helm/papers/calculemus-2003/hbugs-calculemus-2003.pdf [deleted file]
helm/papers/calculemus-2003/hbugs-calculemus-2003.ps.gz [deleted file]
helm/papers/calculemus-2003/hbugs-calculemus-2003.tex [deleted file]
helm/papers/calculemus-2003/llncs.cls [deleted file]
helm/papers/calculemus-2003/outline.txt [deleted file]
helm/papers/calculemus-2003/referaggio_hbugs.txt [deleted file]
helm/papers/calculemus-2003/referaggio_hbugs_short.txt [deleted file]
helm/papers/calculemus-2003/slides/Makefile [deleted file]
helm/papers/calculemus-2003/slides/advilogo.anim.gif [deleted file]
helm/papers/calculemus-2003/slides/bar.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/hbugsArch-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/hbugsInterfaces-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/helmHttpDeps-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/helmLogic-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/helmLogic.png [deleted file]
helm/papers/calculemus-2003/slides/eps/helmLogo-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/logo.jpg [deleted file]
helm/papers/calculemus-2003/slides/eps/thatsall-slides.eps [deleted file]
helm/papers/calculemus-2003/slides/eps/thatsall.gif [deleted file]
helm/papers/calculemus-2003/slides/helm.eps [deleted file]
helm/papers/calculemus-2003/slides/misc/hint2.xml [deleted file]
helm/papers/calculemus-2003/slides/misc/messages.dia [deleted file]
helm/papers/calculemus-2003/slides/misc/startmusing.xml [deleted file]
helm/papers/calculemus-2003/slides/show.dvi [deleted file]
helm/papers/calculemus-2003/slides/show.tex [deleted file]
helm/papers/calculemus-2003/slides/slides.tex [deleted file]
helm/papers/calculemus-2003/stamp.pro [deleted file]
helm/papers/matita/.cvsignore [deleted file]
helm/papers/matita/Makefile [deleted file]
helm/papers/matita/ed.sty [deleted file]
helm/papers/matita/input_phase.dia [deleted file]
helm/papers/matita/input_phase.eps [deleted file]
helm/papers/matita/klu10.clo [deleted file]
helm/papers/matita/klu105.clo [deleted file]
helm/papers/matita/klu11.clo [deleted file]
helm/papers/matita/klu12.clo [deleted file]
helm/papers/matita/klu9.clo [deleted file]
helm/papers/matita/kluedit.sty [deleted file]
helm/papers/matita/klufloa.sty [deleted file]
helm/papers/matita/klulist.sty [deleted file]
helm/papers/matita/klumac.sty [deleted file]
helm/papers/matita/klumath.sty [deleted file]
helm/papers/matita/klunamed.bst [deleted file]
helm/papers/matita/klunote.sty [deleted file]
helm/papers/matita/klunum.bst [deleted file]
helm/papers/matita/kluopen.sty [deleted file]
helm/papers/matita/klups.sty [deleted file]
helm/papers/matita/kluref.sty [deleted file]
helm/papers/matita/klusec.sty [deleted file]
helm/papers/matita/klut10.clo [deleted file]
helm/papers/matita/klut11.clo [deleted file]
helm/papers/matita/klut12.clo [deleted file]
helm/papers/matita/klut9.clo [deleted file]
helm/papers/matita/klutab.sty [deleted file]
helm/papers/matita/kluwer.cls [deleted file]
helm/papers/matita/matita.bib [deleted file]
helm/papers/matita/matita.tex [deleted file]
helm/papers/system_T/Makefile [deleted file]
helm/papers/system_T/t.tex [deleted file]
helm/papers/use_case/stats/CANDIDATI [deleted file]
helm/papers/use_case/stats/Makefile [deleted file]
helm/papers/use_case/stats/download_candidates.sh [deleted file]
helm/papers/use_case/stats/download_candidates_c1.sh [deleted file]
helm/papers/use_case/stats/extract.xsl [deleted file]
helm/papers/use_case/stats/group.xsl [deleted file]
helm/papers/use_case/stats/groups_dependent_depth.xsl [deleted file]
helm/papers/use_case/stats/groups_dependent_size.xsl [deleted file]
helm/papers/use_case/stats/mkdiff.cc [deleted file]
helm/papers/use_case/stats/mkhtml.xsl [deleted file]
helm/papers/use_case/stats/parse/.cvsignore [deleted file]
helm/papers/use_case/stats/parse/DOMCount/.cvsignore [deleted file]
helm/papers/use_case/stats/parse/DOMCount/DOMCount.cpp [deleted file]
helm/papers/use_case/stats/parse/DOMCount/DOMCount.hpp [deleted file]
helm/papers/use_case/stats/parse/DOMCount/Makefile [deleted file]
helm/papers/use_case/stats/parse/DOMCount/Makefile.incl [deleted file]
helm/papers/use_case/stats/parse/Makefile [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/.cvsignore [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/Makefile [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/Makefile.incl [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/SAX2Print.cpp [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/SAX2Print.hpp [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/SAX2PrintHandlers.cpp [deleted file]
helm/papers/use_case/stats/parse/SAX2Print/SAX2PrintHandlers.hpp [deleted file]
helm/papers/use_case/stats/parse/parse_expat.c [deleted file]
helm/papers/use_case/stats/parse/parse_xmlreader.c [deleted file]
helm/papers/use_case/stats/parse/parse_xmlsax.c [deleted file]
helm/papers/use_case/stats/parse/parse_xmltree.c [deleted file]
helm/papers/use_case/stats/parsing_time_expat.sh [deleted file]
helm/papers/use_case/stats/parsing_time_libxml2_reader.sh [deleted file]
helm/papers/use_case/stats/parsing_time_libxml2_sax2.sh [deleted file]
helm/papers/use_case/stats/parsing_time_libxml2_tree.sh [deleted file]
helm/papers/use_case/stats/parsing_time_xerces_sax2.sh [deleted file]
helm/papers/use_case/stats/parsing_time_xerces_tree.sh [deleted file]
helm/papers/use_case/stats/parsing_times.gpscript [deleted file]
helm/papers/use_case/stats/parsing_times.sh [deleted file]
helm/papers/use_case/stats/serialize_into_text.xsl [deleted file]
helm/papers/use_case/stats/stats.cc [deleted file]
helm/papers/use_case/stats/stats.xsl [deleted file]
helm/papers/use_case/stats/stats_body.xml.gz [deleted file]
helm/papers/use_case/stats/stats_candidates.sh [deleted file]
helm/papers/use_case/stats/stats_candidates_c1.sh [deleted file]
helm/papers/use_case/stats/stats_con.xml.gz [deleted file]
helm/papers/use_case/stats/stats_ind.xml.gz [deleted file]
helm/papers/use_case/stats/stats_proof_tree.xml.gz [deleted file]
helm/papers/use_case/stats/stats_theories.xml.gz [deleted file]
helm/papers/use_case/stats/stats_types.xml.gz [deleted file]
helm/papers/use_case/stats/stats_var.xml.gz [deleted file]
helm/papers/use_case/stats/validating_time_flea.sh [deleted file]
helm/papers/use_case/stats/validating_time_libxml2_tree.sh [deleted file]
helm/papers/use_case/stats/validating_time_xerces_sax2.sh [deleted file]
helm/papers/use_case/stats/validating_time_xerces_tree.sh [deleted file]
helm/papers/use_case/stats/validating_times.gpscript [deleted file]
helm/papers/use_case/use_case.tex [deleted file]
helm/proofChecker/.cvsignore [deleted file]
helm/proofChecker/.depend [deleted file]
helm/proofChecker/Makefile [deleted file]
helm/proofChecker/proofChecker.conf.xml.sample [deleted file]
helm/proofChecker/proofChecker.ml [deleted file]
helm/schemas/13-dcagent [deleted file]
helm/schemas/21-euler [deleted file]
helm/schemas/dces [deleted file]
helm/schemas/dcq [deleted file]
helm/schemas/dctype [deleted file]
helm/schemas/schema-h [deleted file]
helm/schemas/schema-hth [deleted file]
helm/scripts/init.d/daemon_respawner.sh [deleted file]
helm/scripts/init.d/etc_default_helm [deleted file]
helm/scripts/init.d/helm [deleted file]
helm/scripts/init.d/helm-bootmisc.sh [deleted file]
helm/scripts/init.d/helm-draw-graph [deleted file]
helm/scripts/init.d/helm-http-getter [deleted file]
helm/scripts/init.d/helm-proof-checker [deleted file]
helm/scripts/init.d/helm-rdfly [deleted file]
helm/scripts/init.d/helm-search-engine [deleted file]
helm/scripts/init.d/helm-uri-set-queue [deleted file]
helm/scripts/init.d/helm-uwobo [deleted file]
helm/scripts/init.d/helm-uwobo-stylesheets [deleted file]
helm/scripts/init.d/loadPredefinedStylesheets.pl [deleted file]
helm/searchEngine/.cvsignore [deleted file]
helm/searchEngine/.depend [deleted file]
helm/searchEngine/Makefile [deleted file]
helm/searchEngine/html/Makefile [deleted file]
helm/searchEngine/html/includes.xsl [deleted file]
helm/searchEngine/html/manual/alias.jpg [deleted file]
helm/searchEngine/html/manual/ex1.jpg [deleted file]
helm/searchEngine/html/manual/frames.jpg [deleted file]
helm/searchEngine/html/manual/index.html [deleted file]
helm/searchEngine/html/moogle.html.src [deleted file]
helm/searchEngine/html/moogle.png [deleted file]
helm/searchEngine/html/moogle_chat.html.src [deleted file]
helm/searchEngine/html/moogle_form.html.src [deleted file]
helm/searchEngine/html/moogle_header.html.src [deleted file]
helm/searchEngine/html/moogle_help.html [deleted file]
helm/searchEngine/html/moogle_init.html [deleted file]
helm/searchEngine/html/moogle_querybar.html.src [deleted file]
helm/searchEngine/html/moogle_small.png [deleted file]
helm/searchEngine/html/moogle_syntax.html [deleted file]
helm/searchEngine/html/moogle_trailer.html.src [deleted file]
helm/searchEngine/html/whelp.png [deleted file]
helm/searchEngine/html/whelp.svg [deleted file]
helm/searchEngine/html/whelp_small.png [deleted file]
helm/searchEngine/mooglePp.ml [deleted file]
helm/searchEngine/mooglePp.mli [deleted file]
helm/searchEngine/preloaded_uris.txt [deleted file]
helm/searchEngine/searchEngine.conf.xml.sample [deleted file]
helm/searchEngine/searchEngine.ml [deleted file]
helm/uwobo-panel/.cvsignore [deleted file]
helm/uwobo-panel/Makefile [deleted file]
helm/uwobo-panel/control.html [deleted file]
helm/uwobo-panel/control.js [deleted file]
helm/uwobo-panel/index.html [deleted file]
helm/uwobo-panel/welcome.html [deleted file]
helm/uwobo/.cvsignore [deleted file]
helm/uwobo/.depend [deleted file]
helm/uwobo/Makefile [deleted file]
helm/uwobo/doc/uwobo.tex [deleted file]
helm/uwobo/log/.cvsignore [deleted file]
helm/uwobo/uwobo.conf.xml.sample [deleted file]
helm/uwobo/uwobo.ml [deleted file]
helm/uwobo/uwobo_common.ml [deleted file]
helm/uwobo/uwobo_common.mli [deleted file]
helm/uwobo/uwobo_engine.ml [deleted file]
helm/uwobo/uwobo_engine.mli [deleted file]
helm/uwobo/uwobo_logger.ml [deleted file]
helm/uwobo/uwobo_logger.mli [deleted file]
helm/uwobo/uwobo_profiles.ml [deleted file]
helm/uwobo/uwobo_profiles.mli [deleted file]
helm/uwobo/uwobo_styles.ml [deleted file]
helm/uwobo/uwobo_styles.mli [deleted file]
helm/xmltheory/Coq_v2theoryxml/.cvsignore [deleted file]
helm/xmltheory/Coq_v2theoryxml/.depend [deleted file]
helm/xmltheory/Coq_v2theoryxml/Makefile [deleted file]
helm/xmltheory/Coq_v2theoryxml/coq_v2theoryxml.ml [deleted file]
helm/xmltheory/FakeCoq_vo2xml/README [deleted file]
helm/xmltheory/FakeCoq_vo2xml/coq_vo2xml [deleted file]
helm/xmltheory/XmlTheory/.cvsignore [deleted file]
helm/xmltheory/XmlTheory/.depend [deleted file]
helm/xmltheory/XmlTheory/COME_COMPILARE [deleted file]
helm/xmltheory/XmlTheory/Make [deleted file]
helm/xmltheory/XmlTheory/Makefile [deleted file]
helm/xmltheory/XmlTheory/README [deleted file]
helm/xmltheory/XmlTheory/XmlTheory.v [deleted file]
helm/xmltheory/XmlTheory/iXml.ml [deleted file]
helm/xmltheory/XmlTheory/iXml.mli [deleted file]
helm/xmltheory/XmlTheory/xmltheoryentries.ml [deleted file]
helm/xmltheory/maththeory.dtd [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]