matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	no author <no.author@nowhere.it>
	Tue, 29 Mar 2005 09:41:42 +0000 (09:41 +0000)
committer	no author <no.author@nowhere.it>
	Tue, 29 Mar 2005 09:41:42 +0000 (09:41 +0000)
commit	0728c945c55428b94aaa4bcc98a31651db342b32
tree	f5925f44486ddd20d5816ba338fc91accf19ef6f	tree \| snapshot
parent	6912a028bef118d8e9d7c2847200510a9b055c6a	commit \| diff

This commit was manufactured by cvs2svn to create tag 'V_0_1_0_2'.

1641 files changed:

CVSROOT/checkoutlist	[deleted file]	blob \| history
CVSROOT/commitinfo	[deleted file]	blob \| history
CVSROOT/config	[deleted file]	blob \| history
CVSROOT/cvswrappers	[deleted file]	blob \| history
CVSROOT/editinfo	[deleted file]	blob \| history
CVSROOT/loginfo	[deleted file]	blob \| history
CVSROOT/modules	[deleted file]	blob \| history
CVSROOT/notify	[deleted file]	blob \| history
CVSROOT/rcsinfo	[deleted file]	blob \| history
CVSROOT/taginfo	[deleted file]	blob \| history
CVSROOT/verifymsg	[deleted file]	blob \| history
helm/DEVEL/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/AUTHORS	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/BUGS	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C++/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C++/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C++/gdome_xslt/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLT.hh	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.cc	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.hh	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C++/gdome_xslt/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C++/test/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C++/test/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C++/test/main.cc	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C/gdome_xslt/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C/gdome_xslt/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C/gdome_xslt/gdome_xslt.c	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C/gdome_xslt/gdome_xslt.h	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C/test/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C/test/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/C/test/test.c	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ChangeLog	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/LICENSE	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/LICENSE-INRIA	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/NEWS	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/README	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/configure.ac	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/changelog	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/compat	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/control	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/copyright	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/docs	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-dev.examples	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-dev.install	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.examples	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt0.install	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/debian/rules	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/gdome2-xslt-cpp-smart.pc.in	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/gdome2-xslt.pc.in	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.depend	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.ml	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.ml	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.mli	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/i_gdome_xslt.ml	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.h	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ocaml-io.h	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/test/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/ocaml/test/test.ml	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/test_files/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/test_files/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/test_files/input.xml	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/test_files/output.xml.correct	[deleted file]	blob \| history
helm/DEVEL/gdome_xslt/test_files/stylesheet.xsl	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/.depend	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/AUTHORS	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/COPYING	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/ChangeLog	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/LICENSE	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/META.in	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/Makefile.in	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/NEWS	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/README	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/configure.in	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/debian/changelog	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/debian/compat	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/debian/control	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/debian/copyright	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/debian/docs	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.dirs	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.dirs	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/debian/rules	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/gMathView.ml	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/gMathView.mli	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/gMathViewAux.ml	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/gMathViewAux.mli	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/gtkMathView.ml	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/gtkMathView.props	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/gtk_mathview.ml	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/lablgtk/META.lablgtk	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/test/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/test/Makefile.in	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/test/t1.config	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/test/test.ml	[deleted file]	blob \| history
helm/DEVEL/lablgtkmathview/test/test.xml	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/.log	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/AUTHORS	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/BROWSE	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/BUGS	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/BUGS-GDOME2	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ChangeLog	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/LICENSE	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/MODES	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/Makefile.in	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/NEWS	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/PATTERNS	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/README	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/TML.dtd	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/TODO	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/configure.ac	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/debian/changelog	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/debian/compat	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/debian/control	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/debian/copyright	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/debian/docs	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/debian/libeditex-dev.files	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/debian/libeditex-ocaml.files	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/debian/libeditex0.files	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/debian/rules	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/dict/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/dict/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/dict/dictionary-basic.xml	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/dict/dictionary-test.xml	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/dict/dictionary-tex.xml	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/dict/dictionary.dtd	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/doc/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/doc/spec.tex	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/editex.pc.in	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/examples/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/examples/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/examples/abs.tex	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/examples/big.tex	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ocaml/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ocaml/.depend	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ocaml/META.in	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ocaml/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/ALogger.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/AMathMLConsumer.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/AMathMLFactory.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/AMathMLFactory.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/APushLexer.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/APushParser.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/APushParser.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/BROWSE	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/CLoggerConsole.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/CLoggerConsole.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/Diff.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/Diff.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/ILPushLexer.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/ILPushLexer.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/ITPushLexer.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/ITPushLexer.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/LPushLexer.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/LPushLexer.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/Makefile.in	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TDictionary.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TDictionary.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TDocument.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TDocument.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TListener.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TNode.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TNode.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TPushLexer.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TPushLexer.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TPushParser.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TPushParser.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TToken.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TTokenizer.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/TTokenizer.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/config.dirs.in	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/dom.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/globals.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/timer.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/src/timer.hh	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/test/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/test/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/test/Makefile.in	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/test/aux.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/test/editor.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/test/guiGTK.c	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/test/guiGTK.h	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/textomml/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/textomml/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/textomml/config.dirs.in	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/textomml/main.cc	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/xsl/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/xsl/Makefile.am	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/xsl/d-xsl.xsl	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/xsl/tml-litex.xsl	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/xsl/tml-tex.xsl	[deleted file]	blob \| history
helm/DEVEL/mathml_editor/xsl/tml-texid.xsl	[deleted file]	blob \| history
helm/DEVEL/profile-manager/Makefile	[deleted file]	blob \| history
helm/DEVEL/profile-manager/control.html	[deleted file]	blob \| history
helm/DEVEL/profile-manager/index.html	[deleted file]	blob \| history
helm/DEVEL/profile-manager/profile-manager.xsl	[deleted file]	blob \| history
helm/DEVEL/profile-manager/profile.ml	[deleted file]	blob \| history
helm/DEVEL/profile-manager/profile_manager.ml	[deleted file]	blob \| history
helm/DEVEL/profile-manager/profile_manager_env.ml	[deleted file]	blob \| history
helm/DEVEL/profile-manager/response.ml	[deleted file]	blob \| history
helm/DEVEL/profile-manager/welcome.html	[deleted file]	blob \| history
helm/DEVEL/rdfly/.cvsignore	[deleted file]	blob \| history
helm/DEVEL/rdfly/Makefile	[deleted file]	blob \| history
helm/DEVEL/rdfly/rdfly.conf.xml.sample	[deleted file]	blob \| history
helm/DEVEL/rdfly/rdfly.ml	[deleted file]	blob \| history
helm/EXPORT/cshrc	[deleted file]	blob \| history
helm/EXPORT/export_Bordeaux_EXCEPTIONS/Makefile	[deleted file]	blob \| history
helm/EXPORT/export_Bordeaux_EXCEPTIONS/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/export_Bordeaux_EXCEPTIONS/prova_Bordeaux_EXCEPTIONS.v	[deleted file]	blob \| history
helm/EXPORT/export_Marseille_CCS/Makefile	[deleted file]	blob \| history
helm/EXPORT/export_Marseille_CCS/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/export_Marseille_CCS/prova_Marseille_CCS.v	[deleted file]	blob \| history
helm/EXPORT/export_Nijmegen_Rem/Makefile	[deleted file]	blob \| history
helm/EXPORT/export_Nijmegen_Rem/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/export_Nijmegen_Rem/prova_Nijmegen_Rem.v	[deleted file]	blob \| history
helm/EXPORT/export_Paris_ZF/Makefile	[deleted file]	blob \| history
helm/EXPORT/export_Paris_ZF/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/export_Paris_ZF/prova_Paris_ZF.v	[deleted file]	blob \| history
helm/EXPORT/export_Rocq_CHECKER/Makefile	[deleted file]	blob \| history
helm/EXPORT/export_Rocq_CHECKER/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/export_Rocq_CHECKER/prova_Rocq_CHECKER.v	[deleted file]	blob \| history
helm/EXPORT/export_Rocq_HIGMAN/Makefile	[deleted file]	blob \| history
helm/EXPORT/export_Rocq_HIGMAN/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/export_Rocq_HIGMAN/prova_Rocq_HIGMAN.v	[deleted file]	blob \| history
helm/EXPORT/export_Rocq_SHUFFLE/Makefile	[deleted file]	blob \| history
helm/EXPORT/export_Rocq_SHUFFLE/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/export_Rocq_SHUFFLE/prova_Rocq_SHUFFLE.v	[deleted file]	blob \| history
helm/EXPORT/export_Utrecht_Ramsey/Makefile	[deleted file]	blob \| history
helm/EXPORT/export_Utrecht_Ramsey/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/export_Utrecht_Ramsey/prova_Utrecht_Ramsey.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/Makefile	[deleted file]	blob \| history
helm/EXPORT/exportcoq/export_contrib_theory.sh	[deleted file]	blob \| history
helm/EXPORT/exportcoq/export_theory_theory.sh	[deleted file]	blob \| history
helm/EXPORT/exportcoq/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoq.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqArith.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqBool.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqInit.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqLists.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqLogic.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqReals.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqRelations.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqSets.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqSorting.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqTrees.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqZArith.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqcontribOmega.v	[deleted file]	blob \| history
helm/EXPORT/exportcoq/provacoqcontribRing.v	[deleted file]	blob \| history
helm/EXPORT/exportcsczfc/Makefile	[deleted file]	blob \| history
helm/EXPORT/exportcsczfc/csc_zfc/.cvsignore	[deleted file]	blob \| history
helm/EXPORT/exportcsczfc/csc_zfc/csc_eqdep.v	[deleted file]	blob \| history
helm/EXPORT/exportcsczfc/csc_zfc/csc_zfc.v	[deleted file]	blob \| history
helm/EXPORT/exportcsczfc/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/exportcsczfc/provacsczfc.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/Makefile	[deleted file]	blob \| history
helm/EXPORT/exportprove/exporttheories.sh	[deleted file]	blob \| history
helm/EXPORT/exportprove/prova.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/provaCofix.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/provaFeIota.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/provaStruct.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/prove/.cvsignore	[deleted file]	blob \| history
helm/EXPORT/exportprove/prove/provaF.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/prove/provaIota.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/prove/provacofix.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/prove/provastruct.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/prove/provastruct2.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/prove/provastruct3.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/prove/provastruct4.v	[deleted file]	blob \| history
helm/EXPORT/exportprove/prove/provastruct5.v	[deleted file]	blob \| history
helm/EXPORT/mktheory.pl	[deleted file]	blob \| history
helm/Makefile	[deleted file]	blob \| history
helm/annotationHelper/.cvsignore	[deleted file]	blob \| history
helm/annotationHelper/.depend	[deleted file]	blob \| history
helm/annotationHelper/Makefile	[deleted file]	blob \| history
helm/annotationHelper/cicAnnotationHelper.ml	[deleted file]	blob \| history
helm/annotationHelper/cicAnnotationHinter.ml	[deleted file]	blob \| history
helm/annotationHelper/cicAnnotationHinter.mli	[deleted file]	blob \| history
helm/cgi/mkcontrol.pl	[deleted file]	blob \| history
helm/cgi/mkheader.pl	[deleted file]	blob \| history
helm/cgi/mkindex.pl	[deleted file]	blob \| history
helm/cgi/mkindexcic.pl	[deleted file]	blob \| history
helm/cgi/mkindextheory.pl	[deleted file]	blob \| history
helm/configuration/.cvsignore	[deleted file]	blob \| history
helm/configuration/AUTHORS	[deleted file]	blob \| history
helm/configuration/COPYING	[deleted file]	blob \| history
helm/configuration/ChangeLog	[deleted file]	blob \| history
helm/configuration/Makefile.in	[deleted file]	blob \| history
helm/configuration/NEWS	[deleted file]	blob \| history
helm/configuration/README	[deleted file]	blob \| history
helm/configuration/config.cache.pkg	[deleted file]	blob \| history
helm/configuration/configure.in	[deleted file]	blob \| history
helm/configuration/etc/.cvsignore	[deleted file]	blob \| history
helm/configuration/etc/configuration.dtd	[deleted file]	blob \| history
helm/configuration/etc/configuration.xml.in	[deleted file]	blob \| history
helm/configuration/etc/helm-dictionary.xml	[deleted file]	blob \| history
helm/configuration/etc/helm-font-configuration.xml	[deleted file]	blob \| history
helm/configuration/etc/helm-math-engine-configuration.xml.in	[deleted file]	blob \| history
helm/configuration/helm-config.in	[deleted file]	blob \| history
helm/configuration/helm_configuration.spec.in	[deleted file]	blob \| history
helm/configuration/lib/.cvsignore	[deleted file]	blob \| history
helm/configuration/lib/configuration.pl.in	[deleted file]	blob \| history
helm/configuration/library/servers.txt	[deleted file]	blob \| history
helm/configuration/library/urls_of_uris.db	[deleted file]	blob \| history
helm/dtd/annotations.dtd	[deleted file]	blob \| history
helm/dtd/backward.dtd	[deleted file]	blob \| history
helm/dtd/cic.dtd	[deleted file]	blob \| history
helm/dtd/cicobject.dtd	[deleted file]	blob \| history
helm/dtd/cictypes.dtd	[deleted file]	blob \| history
helm/dtd/forward.dtd	[deleted file]	blob \| history
helm/dtd/isoamsa.ent	[deleted file]	blob \| history
helm/dtd/isoamsb.ent	[deleted file]	blob \| history
helm/dtd/isoamsc.ent	[deleted file]	blob \| history
helm/dtd/isoamsn.ent	[deleted file]	blob \| history
helm/dtd/isoamso.ent	[deleted file]	blob \| history
helm/dtd/isoamsr.ent	[deleted file]	blob \| history
helm/dtd/isobox.ent	[deleted file]	blob \| history
helm/dtd/isocyr1.ent	[deleted file]	blob \| history
helm/dtd/isocyr2.ent	[deleted file]	blob \| history
helm/dtd/isodia.ent	[deleted file]	blob \| history
helm/dtd/isogrk3.ent	[deleted file]	blob \| history
helm/dtd/isolat1.ent	[deleted file]	blob \| history
helm/dtd/isolat2.ent	[deleted file]	blob \| history
helm/dtd/isomfrk.ent	[deleted file]	blob \| history
helm/dtd/isomopf.ent	[deleted file]	blob \| history
helm/dtd/isomscr.ent	[deleted file]	blob \| history
helm/dtd/isonum.ent	[deleted file]	blob \| history
helm/dtd/isopub.ent	[deleted file]	blob \| history
helm/dtd/isotech.ent	[deleted file]	blob \| history
helm/dtd/ls.dtd	[deleted file]	blob \| history
helm/dtd/mathml2-qname-1.mod	[deleted file]	blob \| history
helm/dtd/mathml2.dtd	[deleted file]	blob \| history
helm/dtd/maththeory.dtd	[deleted file]	blob \| history
helm/dtd/mmlalias.ent	[deleted file]	blob \| history
helm/dtd/mmlextra.ent	[deleted file]	blob \| history
helm/dtd/theoryobject.dtd	[deleted file]	blob \| history
helm/dtd/xhtml-lat1.ent	[deleted file]	blob \| history
helm/dtd/xhtml-special.ent	[deleted file]	blob \| history
helm/dtd/xhtml-symbol.ent	[deleted file]	blob \| history
helm/fix_params/.cvsignore	[deleted file]	blob \| history
helm/fix_params/.depend	[deleted file]	blob \| history
helm/fix_params/Makefile	[deleted file]	blob \| history
helm/fix_params/cic2Xml.ml	[deleted file]	blob \| history
helm/fix_params/cicFindParameters.ml	[deleted file]	blob \| history
helm/fix_params/fix_params.ml	[deleted file]	blob \| history
helm/gTopLevel/.cvsignore	[deleted file]	blob \| history
helm/gTopLevel/.depend	[deleted file]	blob \| history
helm/gTopLevel/INSTALL	[deleted file]	blob \| history
helm/gTopLevel/Makefile.in	[deleted file]	blob \| history
helm/gTopLevel/TATTICHE	[deleted file]	blob \| history
helm/gTopLevel/batchParser.ml	[deleted file]	blob \| history
helm/gTopLevel/batchParser.mli	[deleted file]	blob \| history
helm/gTopLevel/chosenTermEditor.ml.in	[deleted file]	blob \| history
helm/gTopLevel/chosenTermEditor.mli	[deleted file]	blob \| history
helm/gTopLevel/configure.ac	[deleted file]	blob \| history
helm/gTopLevel/dictionary-cic.xml	[deleted file]	blob \| history
helm/gTopLevel/disambiguatingParser.ml.in	[deleted file]	blob \| history
helm/gTopLevel/disambiguatingParser.mli	[deleted file]	blob \| history
helm/gTopLevel/esempi/and_implies_or.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/and_implies_or2.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/apply.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/bug.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/calcolo_proposizioni.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/conversion.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/decompose.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/elim.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/elim2.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/evars.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/fourier.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/fourier/fourier.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/fourier/fourier_benchmarks.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/fourier/fourier_make_benchmarks.ml	[deleted file]	blob \| history
helm/gTopLevel/esempi/prova.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/rewrite.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/0eq0.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/aliases.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/caso0.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/caso1.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/caso2.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/caso3.1.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/caso3.1bis.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/caso3.2.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/caso3.3.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/coq_overkill_helm_rulez.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/novarmap.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/novarmap_tofinish.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/varmap.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/varmap2.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/varmap_trivial.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/varmap_trivial2.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/varmap_trivial3.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/ring/varmap_trivial_molte_variabili.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/sets.cic	[deleted file]	blob \| history
helm/gTopLevel/esempi/various.cic	[deleted file]	blob \| history
helm/gTopLevel/gTopLevel.conf.xml.sample	[deleted file]	blob \| history
helm/gTopLevel/gTopLevel.ml	[deleted file]	blob \| history
helm/gTopLevel/hbugs.ml	[deleted file]	blob \| history
helm/gTopLevel/hbugs.mli	[deleted file]	blob \| history
helm/gTopLevel/helmGtkLogger.ml	[deleted file]	blob \| history
helm/gTopLevel/helmGtkLogger.mli	[deleted file]	blob \| history
helm/gTopLevel/invokeTactics.ml	[deleted file]	blob \| history
helm/gTopLevel/invokeTactics.mli	[deleted file]	blob \| history
helm/gTopLevel/logicalOperations.ml	[deleted file]	blob \| history
helm/gTopLevel/logicalOperations.mli	[deleted file]	blob \| history
helm/gTopLevel/oldDisambiguate.ml	[deleted file]	blob \| history
helm/gTopLevel/oldDisambiguate.mli	[deleted file]	blob \| history
helm/gTopLevel/proofEngine.ml	[deleted file]	blob \| history
helm/gTopLevel/proofEngine.mli	[deleted file]	blob \| history
helm/gTopLevel/regtest.ml	[deleted file]	blob \| history
helm/gTopLevel/rootcontent.xsl	[deleted file]	blob \| history
helm/gTopLevel/script.sh.sample	[deleted file]	blob \| history
helm/gTopLevel/termEditor.ml	[deleted file]	blob \| history
helm/gTopLevel/termEditor.mli	[deleted file]	blob \| history
helm/gTopLevel/termViewer.ml	[deleted file]	blob \| history
helm/gTopLevel/termViewer.mli	[deleted file]	blob \| history
helm/gTopLevel/testlibrary.ml	[deleted file]	blob \| history
helm/gTopLevel/tests/.cvsignore	[deleted file]	blob \| history
helm/gTopLevel/tests/apply00.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/fix00.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/fix00.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/forall00.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/forall00.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/lambda01.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/lambda01.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/lambda02.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/lambda02.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/lambda03.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/lambda03.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/match00.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/match00.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/match01.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/match01.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/match02.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/match02.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/match03.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/match03.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/match04.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/match04.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/match05.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/match05.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/match06.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/match06.cic.test	[deleted file]	blob \| history
helm/gTopLevel/tests/match07.cic	[deleted file]	blob \| history
helm/gTopLevel/tests/match07.cic.test	[deleted file]	blob \| history
helm/gTopLevel/texTermEditor.ml	[deleted file]	blob \| history
helm/gTopLevel/texTermEditor.mli	[deleted file]	blob \| history
helm/gTopLevel/typecheck_uri.ml	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_Arrays.js	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_Arrays_prova.js	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_Loader.js	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_Loader_prova.js	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_black_left.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_black_right.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_blue_left.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_blue_right.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_cyan_left.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_cyan_right.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_green_left.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_green_right.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_magenta_left.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_magenta_right.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_red_left.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_red_right.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_white_left.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_white_right.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_yellow_left.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_More_yellow_right.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_ScriptDOM.js	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_ScriptIE4.js	[deleted file]	blob \| history
helm/graphs/jsmenu/HM_ScriptNS4.js	[deleted file]	blob \| history
helm/graphs/jsmenu/LoadMe.html	[deleted file]	blob \| history
helm/graphs/jsmenu/prova.gif	[deleted file]	blob \| history
helm/graphs/jsmenu/prova.html	[deleted file]	blob \| history
helm/graphs/tools/.cvsignore	[deleted file]	blob \| history
helm/graphs/tools/Makefile	[deleted file]	blob \| history
helm/graphs/tools/drawGraph.conf.xml.sample	[deleted file]	blob \| history
helm/graphs/tools/drawGraph.ml	[deleted file]	blob \| history
helm/graphs/tools/mk_html.pl	[deleted file]	blob \| history
helm/graphs/tools/simplify_deps/.cvsignore	[deleted file]	blob \| history
helm/graphs/tools/simplify_deps/Makefile	[deleted file]	blob \| history
helm/graphs/tools/simplify_deps/simplify_deps.ml	[deleted file]	blob \| history
helm/graphs/tools/uriSetQueue.conf.xml.sample	[deleted file]	blob \| history
helm/graphs/tools/uriSetQueue.ml	[deleted file]	blob \| history
helm/gtkmathview-bonobo/.cvsignore	[deleted file]	blob \| history
helm/gtkmathview-bonobo/AUTHORS	[deleted file]	blob \| history
helm/gtkmathview-bonobo/ChangeLog	[deleted file]	blob \| history
helm/gtkmathview-bonobo/LICENSE	[deleted file]	blob \| history
helm/gtkmathview-bonobo/Makefile.am	[deleted file]	blob \| history
helm/gtkmathview-bonobo/NEWS	[deleted file]	blob \| history
helm/gtkmathview-bonobo/README	[deleted file]	blob \| history
helm/gtkmathview-bonobo/TODO	[deleted file]	blob \| history
helm/gtkmathview-bonobo/configure.ac	[deleted file]	blob \| history
helm/gtkmathview-bonobo/gtkmathview-bonobo.pc.in	[deleted file]	blob \| history
helm/gtkmathview-bonobo/idl/.cvsignore	[deleted file]	blob \| history
helm/gtkmathview-bonobo/idl/GtkMathView.idl	[deleted file]	blob \| history
helm/gtkmathview-bonobo/idl/Makefile.am	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/.cvsignore	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/GNOME_GtkMathView.server.in.in	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/Makefile.am	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/aux.cc	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/aux.h	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/control-data.c	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/control-data.h	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/control-factory.c	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/control-factory.h	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/handlers.c	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/handlers.h	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/persist-file.c	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/persist-file.h	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/persist-stream.c	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/persist-stream.h	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/view.c	[deleted file]	blob \| history
helm/gtkmathview-bonobo/src/view.h	[deleted file]	blob \| history
helm/gtkmathview-bonobo/test/.cvsignore	[deleted file]	blob \| history
helm/gtkmathview-bonobo/test/Makefile.am	[deleted file]	blob \| history
helm/gtkmathview-bonobo/test/embedding.html	[deleted file]	blob \| history
helm/gtkmathview-bonobo/test/embedding.xml	[deleted file]	blob \| history
helm/gtkmathview-bonobo/test/main.c	[deleted file]	blob \| history
helm/gtkmathview-bonobo/test/test.mml	[deleted file]	blob \| history
helm/gtkmathview-bonobo/test/testembedding.html	[deleted file]	blob \| history
helm/header/getheader.xml	[deleted file]	blob \| history
helm/header/provaurl	[deleted file]	blob \| history
helm/header/provaurl1	[deleted file]	blob \| history
helm/header/setheader.xsl	[deleted file]	blob \| history
helm/helm_data/.cvsignore	[deleted file]	blob \| history
helm/helm_data/AUTHORS	[deleted file]	blob \| history
helm/helm_data/COPYING	[deleted file]	blob \| history
helm/helm_data/ChangeLog	[deleted file]	blob \| history
helm/helm_data/LICENSE	[deleted file]	blob \| history
helm/helm_data/LICENSE.ml	[deleted file]	blob \| history
helm/helm_data/LICENSE.script	[deleted file]	blob \| history
helm/helm_data/LICENSE.xml	[deleted file]	blob \| history
helm/helm_data/Makefile.in	[deleted file]	blob \| history
helm/helm_data/NEWS	[deleted file]	blob \| history
helm/helm_data/README	[deleted file]	blob \| history
helm/helm_data/config.cache.pkg	[deleted file]	blob \| history
helm/helm_data/configure.in	[deleted file]	blob \| history
helm/helm_data/helm_data.spec.in	[deleted file]	blob \| history
helm/helmpot/.cvsignore	[deleted file]	blob \| history
helm/helmpot/AUTHORS	[deleted file]	blob \| history
helm/helmpot/ChangeLog	[deleted file]	blob \| history
helm/helmpot/LICENSE	[deleted file]	blob \| history
helm/helmpot/Makefile.am	[deleted file]	blob \| history
helm/helmpot/NEWS	[deleted file]	blob \| history
helm/helmpot/README	[deleted file]	blob \| history
helm/helmpot/acconfig.h	[deleted file]	blob \| history
helm/helmpot/configure.in	[deleted file]	blob \| history
helm/helmpot/debian/changelog	[deleted file]	blob \| history
helm/helmpot/debian/control	[deleted file]	blob \| history
helm/helmpot/debian/copyright	[deleted file]	blob \| history
helm/helmpot/debian/docs	[deleted file]	blob \| history
helm/helmpot/debian/rules	[deleted file]	blob \| history
helm/helmpot/guiGTK.c	[deleted file]	blob \| history
helm/helmpot/guiGTK.h	[deleted file]	blob \| history
helm/helmpot/helmpot.spec.in	[deleted file]	blob \| history
helm/helmpot/main.c	[deleted file]	blob \| history
helm/helmpot/pot_mask	[deleted file]	blob \| history
helm/http_getter/.cvsignore	[deleted file]	blob \| history
helm/http_getter/AUTHORS	[deleted file]	blob \| history
helm/http_getter/BUGS	[deleted file]	blob \| history
helm/http_getter/COPYING	[deleted file]	blob \| history
helm/http_getter/ChangeLog	[deleted file]	blob \| history
helm/http_getter/Makefile	[deleted file]	blob \| history
helm/http_getter/Makefile.overrides	[deleted file]	blob \| history
helm/http_getter/NEWS	[deleted file]	blob \| history
helm/http_getter/README	[deleted file]	blob \| history
helm/http_getter/buildTimeOpts.ml.in	[deleted file]	blob \| history
helm/http_getter/configure.ac	[deleted file]	blob \| history
helm/http_getter/http_getter.conf.xml.sample	[deleted file]	blob \| history
helm/http_getter/main.ml	[deleted file]	blob \| history
helm/http_getter/panel/.cvsignore	[deleted file]	blob \| history
helm/http_getter/panel/Makefile	[deleted file]	blob \| history
helm/http_getter/panel/control.html	[deleted file]	blob \| history
helm/http_getter/panel/control.js	[deleted file]	blob \| history
helm/http_getter/panel/index.html	[deleted file]	blob \| history
helm/http_getter/panel/welcome.html	[deleted file]	blob \| history
helm/http_getter/tools/dump_db.ml	[deleted file]	blob \| history
helm/http_getter/tools/dump_db.pl	[deleted file]	blob \| history
helm/http_getter/tools/uri_escape.pl	[deleted file]	blob \| history
helm/http_getter/tools/uri_unescape.pl	[deleted file]	blob \| history
helm/hxp/.cvsignore	[deleted file]	blob \| history
helm/hxp/.depend	[deleted file]	blob \| history
helm/hxp/EXAMPLE.txt	[deleted file]	blob \| history
helm/hxp/Makefile	[deleted file]	blob \| history
helm/hxp/hxpLexer.mll	[deleted file]	blob \| history
helm/hxp/hxpParser.mly	[deleted file]	blob \| history
helm/hxp/hxpTop.ml	[deleted file]	blob \| history
helm/hxp/hxpTypes.ml	[deleted file]	blob \| history
helm/hxp/hxpXML.ml	[deleted file]	blob \| history
helm/hxsp/config	[deleted file]	blob \| history
helm/hxsp/hxsp.pl	[deleted file]	blob \| history
helm/hxsp/make.pl	[deleted file]	blob \| history
helm/hxsp/msg/error.en	[deleted file]	blob \| history
helm/hxsp/msg/error.it	[deleted file]	blob \| history
helm/hxsp/msg/message.en	[deleted file]	blob \| history
helm/hxsp/msg/message.it	[deleted file]	blob \| history
helm/hxsp/splitted/0.init.p.pl	[deleted file]	blob \| history
helm/hxsp/splitted/1.globvars.p.pl	[deleted file]	blob \| history
helm/hxsp/splitted/2.start.p.pl	[deleted file]	blob \| history
helm/hxsp/splitted/3.daemon.p.pl	[deleted file]	blob \| history
helm/hxsp/splitted/4.hash.p.pl	[deleted file]	blob \| history
helm/hxsp/splitted/5.libxslt.p.pl	[deleted file]	blob \| history
helm/hxsp/splitted/6.commands.p.pl	[deleted file]	blob \| history
helm/hxsp/splitted/7.qsparse.p.pl	[deleted file]	blob \| history
helm/hxsp/splitted/8.strrep.p.pl	[deleted file]	blob \| history
helm/hxsp/splitted/9.load.p.pl	[deleted file]	blob \| history
helm/hxsp/tpl/ok.tpl	[deleted file]	blob \| history
helm/hxsp/tpl/operror.tpl	[deleted file]	blob \| history
helm/hxsp/tpl/synerror.tpl	[deleted file]	blob \| history
helm/mathql/doc/.cvsignore	[deleted file]	blob \| history
helm/mathql/doc/llncs.cls	[deleted file]	blob \| history
helm/mathql/doc/mathql.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_bib.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction_avsets.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction_basic.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction_core.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction_property.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_introduction_textual.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_macros.sty	[deleted file]	blob \| history
helm/mathql/doc/mathql_operational.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_operational_background.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_operational_basic.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_operational_core.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_operational_library.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_overview.tex	[deleted file]	blob \| history
helm/mathql/doc/mathql_tests.tex	[deleted file]	blob \| history
helm/mathql/grammar.txt	[deleted file]	blob \| history
helm/mathql/homepage/authors.html	[deleted file]	blob \| history
helm/mathql/homepage/documentation.html	[deleted file]	blob \| history
helm/mathql/homepage/features.html	[deleted file]	blob \| history
helm/mathql/homepage/implementation.html	[deleted file]	blob \| history
helm/mathql/homepage/index.html	[deleted file]	blob \| history
helm/mathql/homepage/links.html	[deleted file]	blob \| history
helm/mathql/homepage/whatsnew.html	[deleted file]	blob \| history
helm/mathql/query.xml	[deleted file]	blob \| history
helm/mathql/result.xml	[deleted file]	blob \| history
helm/mathql/xmathql.dtd	[deleted file]	blob \| history
helm/mathql/xmqlresult.dtd	[deleted file]	blob \| history
helm/mathql_db_map.txt	[deleted file]	blob \| history
helm/mathql_test/.cvsignore	[deleted file]	blob \| history
helm/mathql_test/.depend	[deleted file]	blob \| history
helm/mathql_test/Makefile	[deleted file]	blob \| history
helm/mathql_test/mQGTopLexer.mll	[deleted file]	blob \| history
helm/mathql_test/mQGTopParser.mly	[deleted file]	blob \| history
helm/mathql_test/mqgtop.ml	[deleted file]	blob \| history
helm/mathql_test/mqitop.ml	[deleted file]	blob \| history
helm/mathql_test/mqtop.ml	[deleted file]	blob \| history
helm/matita/.cvsignore	[deleted file]	blob \| history
helm/matita/.depend	[deleted file]	blob \| history
helm/matita/Makefile.in	[deleted file]	blob \| history
helm/matita/TODO	[deleted file]	blob \| history
helm/matita/buildTimeConf.ml.in	[deleted file]	blob \| history
helm/matita/configure.ac	[deleted file]	blob \| history
helm/matita/matita.conf.xml.sample	[deleted file]	blob \| history
helm/matita/matita.glade	[deleted file]	blob \| history
helm/matita/matita.gladep	[deleted file]	blob \| history
helm/matita/matita.gtkrc	[deleted file]	blob \| history
helm/matita/matita.ml	[deleted file]	blob \| history
helm/matita/matitaCicMisc.ml	[deleted file]	blob \| history
helm/matita/matitaCicMisc.mli	[deleted file]	blob \| history
helm/matita/matitaConsole.ml	[deleted file]	blob \| history
helm/matita/matitaConsole.mli	[deleted file]	blob \| history
helm/matita/matitaDb.ml	[deleted file]	blob \| history
helm/matita/matitaDb.mli	[deleted file]	blob \| history
helm/matita/matitaDisambiguator.ml	[deleted file]	blob \| history
helm/matita/matitaDisambiguator.mli	[deleted file]	blob \| history
helm/matita/matitaGeneratedGui.ml	[deleted file]	blob \| history
helm/matita/matitaGeneratedGui.mli	[deleted file]	blob \| history
helm/matita/matitaGtkMisc.ml	[deleted file]	blob \| history
helm/matita/matitaGtkMisc.mli	[deleted file]	blob \| history
helm/matita/matitaGui.ml	[deleted file]	blob \| history
helm/matita/matitaGui.mli	[deleted file]	blob \| history
helm/matita/matitaInterpreter.ml	[deleted file]	blob \| history
helm/matita/matitaInterpreter.mli	[deleted file]	blob \| history
helm/matita/matitaMathView.ml	[deleted file]	blob \| history
helm/matita/matitaMathView.mli	[deleted file]	blob \| history
helm/matita/matitaMisc.ml	[deleted file]	blob \| history
helm/matita/matitaMisc.mli	[deleted file]	blob \| history
helm/matita/matitaProof.ml	[deleted file]	blob \| history
helm/matita/matitaProof.mli	[deleted file]	blob \| history
helm/matita/matitaScript.ml	[deleted file]	blob \| history
helm/matita/matitaScript.mli	[deleted file]	blob \| history
helm/matita/matitaTypes.ml	[deleted file]	blob \| history
helm/matita/matitaTypes.mli	[deleted file]	blob \| history
helm/matita/matitac.ml	[deleted file]	blob \| history
helm/matita/tests/coercions.ma	[deleted file]	blob \| history
helm/metadata/.cvsignore	[deleted file]	blob \| history
helm/metadata/Makefile	[deleted file]	blob \| history
helm/metadata/README	[deleted file]	blob \| history
helm/metadata/dc/Makefile	[deleted file]	blob \| history
helm/metadata/dc/fill_db.pl	[deleted file]	blob \| history
helm/metadata/dc/sql/create_dc_tables.sql	[deleted file]	blob \| history
helm/metadata/dc/sql/drop_dc_tables.sql	[deleted file]	blob \| history
helm/metadata/extractor/.cvsignore	[deleted file]	blob \| history
helm/metadata/extractor/Makefile	[deleted file]	blob \| history
helm/metadata/extractor/README	[deleted file]	blob \| history
helm/metadata/extractor/meta_lex.l	[deleted file]	blob \| history
helm/metadata/extractor/meta_lex_ind.l	[deleted file]	blob \| history
helm/metadata/extractor/sthandler.c	[deleted file]	blob \| history
helm/metadata/extractor/sthandler.h	[deleted file]	blob \| history
helm/metadata/extractor/sthandler_ind.c	[deleted file]	blob \| history
helm/metadata/extractor/sthandler_ind.h	[deleted file]	blob \| history
helm/metadata/sql/create_mowgli_tables.mysql.sql	[deleted file]	blob \| history
helm/metadata/sql/create_mowgli_tables.sql	[deleted file]	blob \| history
helm/metadata/sql/drop_mowgli_tables.sql	[deleted file]	blob \| history
helm/metadata/sql/fill_inconcl_aux.sql	[deleted file]	blob \| history
helm/metadata/sql/fill_no_concl_hyp.sql	[deleted file]	blob \| history
helm/minidom/.cvsignore	[deleted file]	blob \| history
helm/minidom/AUTHORS	[deleted file]	blob \| history
helm/minidom/COPYING	[deleted file]	blob \| history
helm/minidom/ChangeLog	[deleted file]	blob \| history
helm/minidom/HEADER	[deleted file]	blob \| history
helm/minidom/INSTALL	[deleted file]	blob \| history
helm/minidom/Makefile.am	[deleted file]	blob \| history
helm/minidom/NEWS	[deleted file]	blob \| history
helm/minidom/README	[deleted file]	blob \| history
helm/minidom/TODO	[deleted file]	blob \| history
helm/minidom/acconfig.h	[deleted file]	blob \| history
helm/minidom/config.guess	[deleted file]	blob \| history
helm/minidom/config.sub	[deleted file]	blob \| history
helm/minidom/configure.in	[deleted file]	blob \| history
helm/minidom/debian/README.helm	[deleted file]	blob \| history
helm/minidom/debian/autopippe.helm	[deleted file]	blob \| history
helm/minidom/debian/changelog	[deleted file]	blob \| history
helm/minidom/debian/control	[deleted file]	blob \| history
helm/minidom/debian/copyright	[deleted file]	blob \| history
helm/minidom/debian/debianize.helm	[deleted file]	blob \| history
helm/minidom/debian/docs	[deleted file]	blob \| history
helm/minidom/debian/garbage.helm	[deleted file]	blob \| history
helm/minidom/debian/libminidom-dev.files	[deleted file]	blob \| history
helm/minidom/debian/libminidom-dev.undocumented	[deleted file]	blob \| history
helm/minidom/debian/libminidom0.files	[deleted file]	blob \| history
helm/minidom/debian/libminidom0.postinst	[deleted file]	blob \| history
helm/minidom/debian/rules	[deleted file]	blob \| history
helm/minidom/minidom-config.in	[deleted file]	blob \| history
helm/minidom/minidom.c	[deleted file]	blob \| history
helm/minidom/minidom.h	[deleted file]	blob \| history
helm/minidom/minidom.spec.in	[deleted file]	blob \| history
helm/minidom/stamp-h.in	[deleted file]	blob \| history
helm/mowgli/home/htaccess	[deleted file]	blob \| history
helm/mowgli/home/html/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/Makefile	[deleted file]	blob \| history
helm/mowgli/home/html/deliverables/distribution/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/deliverables/information-dissemination-and-exploitation/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/deliverables/interfaces/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/deliverables/metadata/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/deliverables/project-management/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/deliverables/requirement-analysis/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/deliverables/testing-and-validation/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/deliverables/transformation/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/members/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/mowgli-events/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/people/aei/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/people/bologna/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/people/dfki/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/people/inria/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/people/nijmegen/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/people/trusted-logic/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/proposal/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/publications/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/publications/mowgli/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/publications/others/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/sites/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/slides/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/software/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/html/work-packages/.cvsignore	[deleted file]	blob \| history
helm/mowgli/home/images/NextArrow.gif	[deleted file]	blob \| history
helm/mowgli/home/images/PreviousArrow.gif	[deleted file]	blob \| history
helm/mowgli/home/images/arch.png	[deleted file]	blob \| history
helm/mowgli/home/images/gantt_new.png	[deleted file]	blob \| history
helm/mowgli/home/images/istbutton.gif	[deleted file]	blob \| history
helm/mowgli/home/images/istbutton_small.gif	[deleted file]	blob \| history
helm/mowgli/home/images/istdrop.gif	[deleted file]	blob \| history
helm/mowgli/home/images/logo.png	[deleted file]	blob \| history
helm/mowgli/home/images/mowgli_combo.gif	[deleted file]	blob \| history
helm/mowgli/home/images/mowgli_combo.png	[deleted file]	blob \| history
helm/mowgli/home/images/mowgli_parquet.png	[deleted file]	blob \| history
helm/mowgli/home/images/mowgli_parquet_light.png	[deleted file]	blob \| history
helm/mowgli/home/images/pert_new.png	[deleted file]	blob \| history
helm/mowgli/home/misc/contract/MOWGLIfinal-for-ceto.zip	[deleted file]	blob \| history
helm/mowgli/home/misc/contract/RTD-annex2-rtd-final.pdf	[deleted file]	blob \| history
helm/mowgli/home/misc/contract/RTD-annex3-ist-fet.pdf	[deleted file]	blob \| history
helm/mowgli/home/misc/contract/RTD-audit-cert-annex4.pdf	[deleted file]	blob \| history
helm/mowgli/home/misc/contract/mowgli-an1-final.pdf	[deleted file]	blob \| history
helm/mowgli/home/misc/contract/mowgli-ctr-final.pdf	[deleted file]	blob \| history
helm/mowgli/home/misc/kick-off/AIP_Intro.ppt	[deleted file]	blob \| history
helm/mowgli/home/misc/kick-off/KM2002GO.ps	[deleted file]	blob \| history
helm/mowgli/home/misc/kick-off/KM2002GO_mathweb.ps	[deleted file]	blob \| history
helm/mowgli/home/misc/kick-off/MoWGLI-LogiCal.ps	[deleted file]	blob \| history
helm/mowgli/home/misc/kick-off/lemme2.ppt	[deleted file]	blob \| history
helm/mowgli/home/misc/proposal/MOWGLI.xls	[deleted file]	blob \| history
helm/mowgli/home/misc/proposal/mowgli.pdf	[deleted file]	blob \| history
helm/mowgli/home/misc/proposal/mowgli.ps	[deleted file]	blob \| history
helm/mowgli/home/misc/proposal/proposal.tgz	[deleted file]	blob \| history
helm/mowgli/home/style/mowgli.css	[deleted file]	blob \| history
helm/mowgli/home/templates/index.html	[deleted file]	blob \| history
helm/mowgli/home/templates/ml-help-example.txt	[deleted file]	blob \| history
helm/mowgli/home/xml/Makefile	[deleted file]	blob \| history
helm/mowgli/home/xml/consortium.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/deliverable.dtd	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/distribution/d5a.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/distribution/d5b.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7a.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7b.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/interfaces/d4a.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/interfaces/d4b.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/interfaces/d4c.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/interfaces/d4d.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/interfaces/d4e.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/metadata/d3a.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/metadata/d3b.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/project-management/d0a.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/project-management/d0b.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/project-management/d0c.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/project-management/d0d.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/requirement-analysis/d1a.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/requirement-analysis/d1c.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/testing-and-validation/d6d.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/transformation/d2a.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/transformation/d2b.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/transformation/d2c.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/transformation/d2d.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/transformation/d2e.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/transformation/d2f.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/deliverables/transformation/d2g.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/home.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/members-index.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/members/kick-off.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/menu.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/mowgli-events.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/mowgli-events/kick-off.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/mowgli-xhtml1-transitional.dtd	[deleted file]	blob \| history
helm/mowgli/home/xml/news.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/other-events.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/aei/kelley.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/aei/pollney.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/aei/schutz.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/aei/velden.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/aei/wegner.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/aei/weyher.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/bologna/asperti.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/bologna/guidi.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/bologna/padovani.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/bologna/sacerdoti.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/bologna/schena.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/dfki/goguadze.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/dfki/kohlhase.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/dfki/libbrecht.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/dfki/melis.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/dfki/moschner.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/dfki/siekmann.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/index.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/inria/amerkad.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/inria/bertot.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/inria/chicli.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/inria/delahaye.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/inria/herbelin.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/inria/naciri.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/inria/pottier.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/inria/rideau.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/inria/thery.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/inria/werner.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/nijmegen/barendregt.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/nijmegen/barreiro.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/nijmegen/cohen.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/nijmegen/geuvers.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/nijmegen/niqui.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/nijmegen/stein.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/nijmegen/synek.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/nijmegen/wiedijk.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/person.dtd	[deleted file]	blob \| history
helm/mowgli/home/xml/people/trusted-logic/bolignano.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/trusted-logic/gimenez.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/people/trusted-logic/loiseaux.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/project.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/proposal/EC-contribution.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/proposal/contribution.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/proposal/innovation.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/proposal/project-components.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/proposal/project-management.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/proposal/project-objectives.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/proposal/project-planning.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/proposal/project-summary.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/index.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/mowgli/crimea2002_aw.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/mowgli/crimea2002_aw_on_line.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/category_al.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/cc.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/crimea2001_apss.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/cup_hp91.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/cup_hp93.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/cup_s.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/cup_s2.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/extreme2001_apss.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/har_bg.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/jep_ws.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/jep_wwsw.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/jlp2001_scg.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/mathml2000_apss.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/mscs_gb.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/publication.dtd	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/tcs2001_og.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/tphols2000_gwz.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/tphols2001_apss.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/publications/others/w3c_bl98.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/sites/aei.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/sites/bologna.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/sites/dfki.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/sites/inria.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/sites/nijmegen.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/sites/site.dtd	[deleted file]	blob \| history
helm/mowgli/home/xml/sites/trusted-logic.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/slides/mowgligroup.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/software/index.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/work-packages/distribution.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/work-packages/index.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/work-packages/interfaces.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/work-packages/metadata.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/work-packages/project-management.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/work-packages/requirement-analysis.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/work-packages/testing-and-validation.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/work-packages/transformation.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/work-packages/work-package.dtd	[deleted file]	blob \| history
helm/mowgli/home/xsl/approaching-deadlines.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/common.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/consortium.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/deadlines.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/deliverable.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/events.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/latest-news.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/management.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/minutes.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/news.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/people-list.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/person.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/project.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/publication.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/publications-index.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/site.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/work-package.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/work-packages_index.xsl	[deleted file]	blob \| history
helm/mowgli/home/xsl/xhtml-content.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_abstract.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_annotatedpres.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_content_to_html2.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_expand.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_html_arith.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_html_basic.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_link.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_links_library.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_mmlextension.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_proof.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_rules.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_term.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/nuprl_tree.xsl	[deleted file]	blob \| history
helm/nuprl_stylesheets/xslt_index.txt	[deleted file]	blob \| history
helm/ocaml/.cvsignore	[deleted file]	blob \| history
helm/ocaml/METAS/.cvsignore	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_annotations.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_annotations_cache.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_cache.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_omdoc.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_proof_checking.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_textual_parser.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_transformations.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-cic_unification.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-disambiguator.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-getter.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-hbugs.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-logger.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-mathql.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-mathql_generator.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-mathql_interpreter.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-metadata.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-pxp.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-registry.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-tactics.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-thread.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-urimanager.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-utf8_macros.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-xml.src	[deleted file]	blob \| history
helm/ocaml/METAS/meta.helm-xmldiff.src	[deleted file]	blob \| history
helm/ocaml/Makefile.common.in	[deleted file]	blob \| history
helm/ocaml/Makefile.in	[deleted file]	blob \| history
helm/ocaml/cic/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic/.depend	[deleted file]	blob \| history
helm/ocaml/cic/Makefile	[deleted file]	blob \| history
helm/ocaml/cic/cic.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicParser.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicParser.mli	[deleted file]	blob \| history
helm/ocaml/cic/cicParser2.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicParser2.mli	[deleted file]	blob \| history
helm/ocaml/cic/cicParser3.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicParser3.mli	[deleted file]	blob \| history
helm/ocaml/cic/cicUniv.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicUniv.mli	[deleted file]	blob \| history
helm/ocaml/cic/cicUtil.ml	[deleted file]	blob \| history
helm/ocaml/cic/cicUtil.mli	[deleted file]	blob \| history
helm/ocaml/cic/deannotate.ml	[deleted file]	blob \| history
helm/ocaml/cic/deannotate.mli	[deleted file]	blob \| history
helm/ocaml/cic/helmLibraryObjects.ml	[deleted file]	blob \| history
helm/ocaml/cic/helmLibraryObjects.mli	[deleted file]	blob \| history
helm/ocaml/cic_annotations/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_annotations/.depend	[deleted file]	blob \| history
helm/ocaml/cic_annotations/Makefile	[deleted file]	blob \| history
helm/ocaml/cic_annotations/cicAnnotation2Xml.ml	[deleted file]	blob \| history
helm/ocaml/cic_annotations/cicAnnotation2Xml.mli	[deleted file]	blob \| history
helm/ocaml/cic_annotations/cicAnnotationParser.ml	[deleted file]	blob \| history
helm/ocaml/cic_annotations/cicAnnotationParser.mli	[deleted file]	blob \| history
helm/ocaml/cic_annotations/cicAnnotationParser2.ml	[deleted file]	blob \| history
helm/ocaml/cic_annotations/cicAnnotationParser2.mli	[deleted file]	blob \| history
helm/ocaml/cic_annotations/cicXPath.ml	[deleted file]	blob \| history
helm/ocaml/cic_annotations/cicXPath.mli	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/.depend	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/Makefile	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/arit_notation.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/cicTextualLexer2.mli	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/cicTextualParser2.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/cicTextualParser2.mli	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/disambiguate.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/disambiguate.mli	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/disambiguateChoices.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/disambiguateChoices.mli	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/disambiguateTypes.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/disambiguateTypes.mli	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/logic_notation.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/pa_unicode_macro.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/test_lexer.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/test_parser.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/tests/aliases.txt	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/tests/eq.txt	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/tests/match.txt	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/tex_notation.ml	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/.depend	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/Makefile	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/cic2acic.ml	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/cic2acic.mli	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/cic2content.ml	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/cic2content.mli	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/content.ml	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/content.mli	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/content2cic.ml	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/content2cic.mli	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/contentPp.ml	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/contentPp.mli	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/doubleTypeInference.ml	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/doubleTypeInference.mli	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/eta_fixing.ml	[deleted file]	blob \| history
helm/ocaml/cic_omdoc/eta_fixing.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/.depend	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/Makefile	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicElim.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicElim.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicEnvironment.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicEnvironment.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicLogger.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicLogger.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicMiniReduction.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicMiniReduction.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicPp.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicPp.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicReduction.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicReductionMachine.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicReductionMachine.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicReductionNaif.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicReductionNaif.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicSubstitution.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicSubstitution.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicTypeChecker.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicTypeChecker.mli	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicUnivUtils.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/cicUnivUtils.mli	[deleted file]	blob \| history
helm/ocaml/cic_textual_parser/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_textual_parser/.depend	[deleted file]	blob \| history
helm/ocaml/cic_textual_parser/Makefile	[deleted file]	blob \| history
helm/ocaml/cic_textual_parser/cicTextualLexer.mll	[deleted file]	blob \| history
helm/ocaml/cic_textual_parser/cicTextualParser.mly	[deleted file]	blob \| history
helm/ocaml/cic_textual_parser/cicTextualParser0.ml	[deleted file]	blob \| history
helm/ocaml/cic_textual_parser/cicTextualParserContext.ml	[deleted file]	blob \| history
helm/ocaml/cic_textual_parser/cicTextualParserContext.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_transformations/.depend	[deleted file]	blob \| history
helm/ocaml/cic_transformations/Makefile	[deleted file]	blob \| history
helm/ocaml/cic_transformations/acic2Ast.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/acic2Ast.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/applyTransformation.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/applyTransformation.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/ast2pres.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/ast2pres.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/box.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/box.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/boxPp.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/boxPp.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/cic2Xml.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/cic2Xml.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/cicAst.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/cicAst.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/cicAstPp.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/cicAstPp.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/content2pres.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/content2pres.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/contentTable.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/contentTable.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/content_expressions.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/misc.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/misc.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/mpresentation.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/mpresentation.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/sequent2pres.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/sequent2pres.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/sequentPp.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/sequentPp.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/tacticAst.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/tacticAst2Box.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/tacticAst2Box.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/tacticAstPp.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/tacticAstPp.mli	[deleted file]	blob \| history
helm/ocaml/cic_transformations/xml2Gdome.ml	[deleted file]	blob \| history
helm/ocaml/cic_transformations/xml2Gdome.mli	[deleted file]	blob \| history
helm/ocaml/cic_unification/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_unification/.depend	[deleted file]	blob \| history
helm/ocaml/cic_unification/Makefile	[deleted file]	blob \| history
helm/ocaml/cic_unification/cicMetaSubst.ml	[deleted file]	blob \| history
helm/ocaml/cic_unification/cicMetaSubst.mli	[deleted file]	blob \| history
helm/ocaml/cic_unification/cicMkImplicit.ml	[deleted file]	blob \| history
helm/ocaml/cic_unification/cicMkImplicit.mli	[deleted file]	blob \| history
helm/ocaml/cic_unification/cicRefine.ml	[deleted file]	blob \| history
helm/ocaml/cic_unification/cicRefine.mli	[deleted file]	blob \| history
helm/ocaml/cic_unification/cicUnification.ml	[deleted file]	blob \| history
helm/ocaml/cic_unification/cicUnification.mli	[deleted file]	blob \| history
helm/ocaml/cic_unification/coercGraph.ml	[deleted file]	blob \| history
helm/ocaml/cic_unification/coercGraph.mli	[deleted file]	blob \| history
helm/ocaml/cic_unification/freshNamesGenerator.ml	[deleted file]	blob \| history
helm/ocaml/cic_unification/freshNamesGenerator.mli	[deleted file]	blob \| history
helm/ocaml/configure.ac	[deleted file]	blob \| history
helm/ocaml/getter/.cvsignore	[deleted file]	blob \| history
helm/ocaml/getter/.depend	[deleted file]	blob \| history
helm/ocaml/getter/Makefile	[deleted file]	blob \| history
helm/ocaml/getter/clientHTTP.ml	[deleted file]	blob \| history
helm/ocaml/getter/clientHTTP.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter.ml	[deleted file]	blob \| history
helm/ocaml/getter/http_getter.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_cache.ml	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_cache.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_common.ml	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_common.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_const.ml	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_const.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_env.ml	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_env.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_logger.ml	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_logger.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_map.ml	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_map.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_misc.ml	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_misc.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter_types.ml	[deleted file]	blob \| history
helm/ocaml/getter/test.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hbugs/.depend	[deleted file]	blob \| history
helm/ocaml/hbugs/Makefile	[deleted file]	blob \| history
helm/ocaml/hbugs/broker.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/client.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/data/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hbugs/data/hbugs_tutor.TPL.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/data/tutors_index.xml	[deleted file]	blob \| history
helm/ocaml/hbugs/doc/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hbugs/doc/hbugs.dia	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_broker_registry.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_broker_registry.mli	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_client.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_client.mli	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_client_gui.glade	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_common.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_common.mli	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_id_generator.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_id_generator.mli	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_messages.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_messages.mli	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_misc.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_misc.mli	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_tutors.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_tutors.mli	[deleted file]	blob \| history
helm/ocaml/hbugs/hbugs_types.mli	[deleted file]	blob \| history
helm/ocaml/hbugs/run/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hbugs/scripts/brokerctl.sh	[deleted file]	blob \| history
helm/ocaml/hbugs/scripts/build_tutors.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/scripts/ls_tutors.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/scripts/sabba.sh	[deleted file]	blob \| history
helm/ocaml/hbugs/search_pattern_apply_tutor.ml	[deleted file]	blob \| history
helm/ocaml/hbugs/test/.cvsignore	[deleted file]	blob \| history
helm/ocaml/hbugs/test/HBUGS_MESSAGES.xml	[deleted file]	blob \| history
helm/ocaml/hbugs/test/Makefile	[deleted file]	blob \| history
helm/ocaml/hbugs/test/test_serialization.ml	[deleted file]	blob \| history
helm/ocaml/license	[deleted file]	blob \| history
helm/ocaml/logger/.cvsignore	[deleted file]	blob \| history
helm/ocaml/logger/.depend	[deleted file]	blob \| history
helm/ocaml/logger/Makefile	[deleted file]	blob \| history
helm/ocaml/logger/helmLogger.ml	[deleted file]	blob \| history
helm/ocaml/logger/helmLogger.mli	[deleted file]	blob \| history
helm/ocaml/mathql/.cvsignore	[deleted file]	blob \| history
helm/ocaml/mathql/.depend	[deleted file]	blob \| history
helm/ocaml/mathql/Makefile	[deleted file]	blob \| history
helm/ocaml/mathql/mathQL.ml	[deleted file]	blob \| history
helm/ocaml/mathql_generator/.cvsignore	[deleted file]	blob \| history
helm/ocaml/mathql_generator/.depend	[deleted file]	blob \| history
helm/ocaml/mathql_generator/Makefile	[deleted file]	blob \| history
helm/ocaml/mathql_generator/cGLocateInductive.ml	[deleted file]	blob \| history
helm/ocaml/mathql_generator/cGLocateInductive.mli	[deleted file]	blob \| history
helm/ocaml/mathql_generator/cGMatchConclusion.ml	[deleted file]	blob \| history
helm/ocaml/mathql_generator/cGMatchConclusion.mli	[deleted file]	blob \| history
helm/ocaml/mathql_generator/cGSearchPattern.ml	[deleted file]	blob \| history
helm/ocaml/mathql_generator/cGSearchPattern.mli	[deleted file]	blob \| history
helm/ocaml/mathql_generator/mQGTypes.ml	[deleted file]	blob \| history
helm/ocaml/mathql_generator/mQGUtil.ml	[deleted file]	blob \| history
helm/ocaml/mathql_generator/mQGUtil.mli	[deleted file]	blob \| history
helm/ocaml/mathql_generator/mQueryGenerator.ml	[deleted file]	blob \| history
helm/ocaml/mathql_generator/mQueryGenerator.mli	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/.cvsignore	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/.depend	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/Makefile	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIConn.ml	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIConn.mli	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIMap.ml	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIMap.mli	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIMySql.ml	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIMySql.mli	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIPostgres.ml	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIPostgres.mli	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIProperty.ml	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIProperty.mli	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQITypes.ml	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIUtil.ml	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQIUtil.mli	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQueryInterpreter.ml	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQueryInterpreter.mli	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQueryTLexer.mll	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQueryTParser.mly	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQueryUtil.ml	[deleted file]	blob \| history
helm/ocaml/mathql_interpreter/mQueryUtil.mli	[deleted file]	blob \| history
helm/ocaml/metadata/.cvsignore	[deleted file]	blob \| history
helm/ocaml/metadata/.depend	[deleted file]	blob \| history
helm/ocaml/metadata/Makefile	[deleted file]	blob \| history
helm/ocaml/metadata/metadataConstraints.ml	[deleted file]	blob \| history
helm/ocaml/metadata/metadataConstraints.mli	[deleted file]	blob \| history
helm/ocaml/metadata/metadataDb.ml	[deleted file]	blob \| history
helm/ocaml/metadata/metadataDb.mli	[deleted file]	blob \| history
helm/ocaml/metadata/metadataExtractor.ml	[deleted file]	blob \| history
helm/ocaml/metadata/metadataExtractor.mli	[deleted file]	blob \| history
helm/ocaml/metadata/metadataPp.ml	[deleted file]	blob \| history
helm/ocaml/metadata/metadataPp.mli	[deleted file]	blob \| history
helm/ocaml/metadata/metadataTypes.ml	[deleted file]	blob \| history
helm/ocaml/metadata/metadataTypes.mli	[deleted file]	blob \| history
helm/ocaml/metadata/test.ml	[deleted file]	blob \| history
helm/ocaml/pxp/.cvsignore	[deleted file]	blob \| history
helm/ocaml/pxp/.depend	[deleted file]	blob \| history
helm/ocaml/pxp/Makefile	[deleted file]	blob \| history
helm/ocaml/pxp/pxpHelmConf.ml	[deleted file]	blob \| history
helm/ocaml/pxp/pxpHelmConf.mli	[deleted file]	blob \| history
helm/ocaml/pxp/pxpUrlResolver.ml	[deleted file]	blob \| history
helm/ocaml/pxp/pxpUrlResolver.mli	[deleted file]	blob \| history
helm/ocaml/registry/.cvsignore	[deleted file]	blob \| history
helm/ocaml/registry/.depend	[deleted file]	blob \| history
helm/ocaml/registry/.ocamlinit	[deleted file]	blob \| history
helm/ocaml/registry/Makefile	[deleted file]	blob \| history
helm/ocaml/registry/helm_registry.ml	[deleted file]	blob \| history
helm/ocaml/registry/helm_registry.mli	[deleted file]	blob \| history
helm/ocaml/registry/tests/sample.xml	[deleted file]	blob \| history
helm/ocaml/tactics/.cvsignore	[deleted file]	blob \| history
helm/ocaml/tactics/.depend	[deleted file]	blob \| history
helm/ocaml/tactics/Makefile	[deleted file]	blob \| history
helm/ocaml/tactics/autoTactic.ml	[deleted file]	blob \| history
helm/ocaml/tactics/autoTactic.mli	[deleted file]	blob \| history
helm/ocaml/tactics/discriminationTactics.ml	[deleted file]	blob \| history
helm/ocaml/tactics/discriminationTactics.mli	[deleted file]	blob \| history
helm/ocaml/tactics/eliminationTactics.ml	[deleted file]	blob \| history
helm/ocaml/tactics/eliminationTactics.mli	[deleted file]	blob \| history
helm/ocaml/tactics/equalityTactics.ml	[deleted file]	blob \| history
helm/ocaml/tactics/equalityTactics.mli	[deleted file]	blob \| history
helm/ocaml/tactics/fourier.ml	[deleted file]	blob \| history
helm/ocaml/tactics/fourier.mli	[deleted file]	blob \| history
helm/ocaml/tactics/fourierR.ml	[deleted file]	blob \| history
helm/ocaml/tactics/fourierR.mli	[deleted file]	blob \| history
helm/ocaml/tactics/hashtbl_equiv.ml	[deleted file]	blob \| history
helm/ocaml/tactics/hashtbl_equiv.mli	[deleted file]	blob \| history
helm/ocaml/tactics/history.ml	[deleted file]	blob \| history
helm/ocaml/tactics/history.mli	[deleted file]	blob \| history
helm/ocaml/tactics/introductionTactics.ml	[deleted file]	blob \| history
helm/ocaml/tactics/introductionTactics.mli	[deleted file]	blob \| history
helm/ocaml/tactics/metadataQuery.ml	[deleted file]	blob \| history
helm/ocaml/tactics/metadataQuery.mli	[deleted file]	blob \| history
helm/ocaml/tactics/negationTactics.ml	[deleted file]	blob \| history
helm/ocaml/tactics/negationTactics.mli	[deleted file]	blob \| history
helm/ocaml/tactics/primitiveTactics.ml	[deleted file]	blob \| history
helm/ocaml/tactics/primitiveTactics.mli	[deleted file]	blob \| history
helm/ocaml/tactics/proofEngineHelpers.ml	[deleted file]	blob \| history
helm/ocaml/tactics/proofEngineHelpers.mli	[deleted file]	blob \| history
helm/ocaml/tactics/proofEngineReduction.ml	[deleted file]	blob \| history
helm/ocaml/tactics/proofEngineReduction.mli	[deleted file]	blob \| history
helm/ocaml/tactics/proofEngineStructuralRules.ml	[deleted file]	blob \| history
helm/ocaml/tactics/proofEngineStructuralRules.mli	[deleted file]	blob \| history
helm/ocaml/tactics/proofEngineTypes.ml	[deleted file]	blob \| history
helm/ocaml/tactics/proofEngineTypes.mli	[deleted file]	blob \| history
helm/ocaml/tactics/reductionTactics.ml	[deleted file]	blob \| history
helm/ocaml/tactics/reductionTactics.mli	[deleted file]	blob \| history
helm/ocaml/tactics/ring.ml	[deleted file]	blob \| history
helm/ocaml/tactics/ring.mli	[deleted file]	blob \| history
helm/ocaml/tactics/statefulProofEngine.ml	[deleted file]	blob \| history
helm/ocaml/tactics/statefulProofEngine.mli	[deleted file]	blob \| history
helm/ocaml/tactics/tacticChaser.ml	[deleted file]	blob \| history
helm/ocaml/tactics/tacticals.ml	[deleted file]	blob \| history
helm/ocaml/tactics/tacticals.mli	[deleted file]	blob \| history
helm/ocaml/tactics/tactics.ml	[deleted file]	blob \| history
helm/ocaml/tactics/tactics.mli	[deleted file]	blob \| history
helm/ocaml/tactics/variousTactics.ml	[deleted file]	blob \| history
helm/ocaml/tactics/variousTactics.mli	[deleted file]	blob \| history
helm/ocaml/tex_cic_textual_parser/.cvsignore	[deleted file]	blob \| history
helm/ocaml/tex_cic_textual_parser/.depend	[deleted file]	blob \| history
helm/ocaml/tex_cic_textual_parser/Makefile	[deleted file]	blob \| history
helm/ocaml/tex_cic_textual_parser/texCicTextualLexer.mll	[deleted file]	blob \| history
helm/ocaml/tex_cic_textual_parser/texCicTextualParser.mly	[deleted file]	blob \| history
helm/ocaml/tex_cic_textual_parser/texCicTextualParser0.ml	[deleted file]	blob \| history
helm/ocaml/tex_cic_textual_parser/texCicTextualParserContext.ml	[deleted file]	blob \| history
helm/ocaml/tex_cic_textual_parser/texCicTextualParserContext.mli	[deleted file]	blob \| history
helm/ocaml/thread/.cvsignore	[deleted file]	blob \| history
helm/ocaml/thread/.depend	[deleted file]	blob \| history
helm/ocaml/thread/Makefile	[deleted file]	blob \| history
helm/ocaml/thread/extThread.ml	[deleted file]	blob \| history
helm/ocaml/thread/extThread.mli	[deleted file]	blob \| history
helm/ocaml/thread/threadSafe.ml	[deleted file]	blob \| history
helm/ocaml/thread/threadSafe.mli	[deleted file]	blob \| history
helm/ocaml/urimanager/.cvsignore	[deleted file]	blob \| history
helm/ocaml/urimanager/.depend	[deleted file]	blob \| history
helm/ocaml/urimanager/Makefile	[deleted file]	blob \| history
helm/ocaml/urimanager/uriManager.ml	[deleted file]	blob \| history
helm/ocaml/urimanager/uriManager.mli	[deleted file]	blob \| history
helm/ocaml/utf8_macros/.cvsignore	[deleted file]	blob \| history
helm/ocaml/utf8_macros/.depend	[deleted file]	blob \| history
helm/ocaml/utf8_macros/Makefile	[deleted file]	blob \| history
helm/ocaml/utf8_macros/README.syntax	[deleted file]	blob \| history
helm/ocaml/utf8_macros/data/dictionary-tex.xml	[deleted file]	blob \| history
helm/ocaml/utf8_macros/data/entities-table.xml	[deleted file]	blob \| history
helm/ocaml/utf8_macros/data/extra-entities.xml	[deleted file]	blob \| history
helm/ocaml/utf8_macros/make_table.ml	[deleted file]	blob \| history
helm/ocaml/utf8_macros/pa_unicode_macro.ml	[deleted file]	blob \| history
helm/ocaml/utf8_macros/test.ml	[deleted file]	blob \| history
helm/ocaml/utf8_macros/utf8Macro.ml	[deleted file]	blob \| history
helm/ocaml/utf8_macros/utf8Macro.mli	[deleted file]	blob \| history
helm/ocaml/utf8_macros/utf8MacroTable.ml	[deleted file]	blob \| history
helm/ocaml/xml/.cvsignore	[deleted file]	blob \| history
helm/ocaml/xml/.depend	[deleted file]	blob \| history
helm/ocaml/xml/Makefile	[deleted file]	blob \| history
helm/ocaml/xml/xml.ml	[deleted file]	blob \| history
helm/ocaml/xml/xml.mli	[deleted file]	blob \| history
helm/ocaml/xmldiff/.cvsignore	[deleted file]	blob \| history
helm/ocaml/xmldiff/.depend	[deleted file]	blob \| history
helm/ocaml/xmldiff/Makefile	[deleted file]	blob \| history
helm/ocaml/xmldiff/xmlDiff.ml	[deleted file]	blob \| history
helm/ocaml/xmldiff/xmlDiff.mli	[deleted file]	blob \| history
helm/on-line/html/cic/control.html	[deleted file]	blob \| history
helm/on-line/html/cic/index.html	[deleted file]	blob \| history
helm/on-line/html/configuration.html	[deleted file]	blob \| history
helm/on-line/html/folder/control.html	[deleted file]	blob \| history
helm/on-line/html/folder/index.html	[deleted file]	blob \| history
helm/on-line/html/theory/control.html	[deleted file]	blob \| history
helm/on-line/html/theory/index.html	[deleted file]	blob \| history
helm/on-line/icons/folder.png	[deleted file]	blob \| history
helm/on-line/icons/object.png	[deleted file]	blob \| history
helm/on-line/icons/theory.png	[deleted file]	blob \| history
helm/on-line/javascript/.cvsignore	[deleted file]	blob \| history
helm/on-line/javascript/Makefile	[deleted file]	blob \| history
helm/on-line/javascript/helmjsmenu.js	[deleted file]	blob \| history
helm/on-line/javascript/prelude.js	[deleted file]	blob \| history
helm/on-line/xslt/getParam.xsl	[deleted file]	blob \| history
helm/on-line/xslt/ls2theory.xsl	[deleted file]	blob \| history
helm/on-line/xslt/makeGraphLinks.xsl	[deleted file]	blob \| history
helm/on-line/xslt/metadataControl.xsl	[deleted file]	blob \| history
helm/on-line/xslt/resolve_topurl.xsl	[deleted file]	blob \| history
helm/on-line/xslt/search.xsl	[deleted file]	blob \| history
helm/on-line/xslt/substKey.xsl	[deleted file]	blob \| history
helm/on-line/xslt/toplevel_header.xsl	[deleted file]	blob \| history
helm/on-line/xslt/utils.xsl	[deleted file]	blob \| history
helm/on-line/xslt/xslt_index.txt	[deleted file]	blob \| history
helm/pacchetti/Makefile	[deleted file]	blob \| history
helm/papers/calculemus-2003/.cvsignore	[deleted file]	blob \| history
helm/papers/calculemus-2003/Makefile	[deleted file]	blob \| history
helm/papers/calculemus-2003/draftstamp.sty	[deleted file]	blob \| history
helm/papers/calculemus-2003/ed.sty	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/arch.dia	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/arch.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/interfaces.dia	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/interfaces.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/status.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/step1.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/eps/step2.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/hbugs-calculemus-2003.pdf	[deleted file]	blob \| history
helm/papers/calculemus-2003/hbugs-calculemus-2003.ps.gz	[deleted file]	blob \| history
helm/papers/calculemus-2003/hbugs-calculemus-2003.tex	[deleted file]	blob \| history
helm/papers/calculemus-2003/llncs.cls	[deleted file]	blob \| history
helm/papers/calculemus-2003/outline.txt	[deleted file]	blob \| history
helm/papers/calculemus-2003/referaggio_hbugs.txt	[deleted file]	blob \| history
helm/papers/calculemus-2003/referaggio_hbugs_short.txt	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/Makefile	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/advilogo.anim.gif	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/bar.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/hbugsArch-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/hbugsInterfaces-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/helmHttpDeps-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/helmLogic-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/helmLogic.png	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/helmLogo-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/logo.jpg	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/thatsall-slides.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/eps/thatsall.gif	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/helm.eps	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/misc/hint2.xml	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/misc/messages.dia	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/misc/startmusing.xml	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/show.dvi	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/show.tex	[deleted file]	blob \| history
helm/papers/calculemus-2003/slides/slides.tex	[deleted file]	blob \| history
helm/papers/calculemus-2003/stamp.pro	[deleted file]	blob \| history
helm/papers/use_case/stats/CANDIDATI	[deleted file]	blob \| history
helm/papers/use_case/stats/Makefile	[deleted file]	blob \| history
helm/papers/use_case/stats/download_candidates.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/download_candidates_c1.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/extract.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/group.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/groups_dependent_depth.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/groups_dependent_size.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/mkdiff.cc	[deleted file]	blob \| history
helm/papers/use_case/stats/mkhtml.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/.cvsignore	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/DOMCount/.cvsignore	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/DOMCount/DOMCount.cpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/DOMCount/DOMCount.hpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/DOMCount/Makefile	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/DOMCount/Makefile.incl	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/Makefile	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/.cvsignore	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/Makefile	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/Makefile.incl	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/SAX2Print.cpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/SAX2Print.hpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/SAX2PrintHandlers.cpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/SAX2Print/SAX2PrintHandlers.hpp	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/parse_expat.c	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/parse_xmlreader.c	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/parse_xmlsax.c	[deleted file]	blob \| history
helm/papers/use_case/stats/parse/parse_xmltree.c	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_expat.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_libxml2_reader.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_libxml2_sax2.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_libxml2_tree.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_xerces_sax2.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_time_xerces_tree.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_times.gpscript	[deleted file]	blob \| history
helm/papers/use_case/stats/parsing_times.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/serialize_into_text.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/stats.cc	[deleted file]	blob \| history
helm/papers/use_case/stats/stats.xsl	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_body.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_candidates.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_candidates_c1.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_con.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_ind.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_proof_tree.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_theories.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_types.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/stats_var.xml.gz	[deleted file]	blob \| history
helm/papers/use_case/stats/validating_time_flea.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/validating_time_libxml2_tree.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/validating_time_xerces_sax2.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/validating_time_xerces_tree.sh	[deleted file]	blob \| history
helm/papers/use_case/stats/validating_times.gpscript	[deleted file]	blob \| history
helm/papers/use_case/use_case.tex	[deleted file]	blob \| history
helm/proofChecker/.cvsignore	[deleted file]	blob \| history
helm/proofChecker/.depend	[deleted file]	blob \| history
helm/proofChecker/Makefile	[deleted file]	blob \| history
helm/proofChecker/proofChecker.conf.xml.sample	[deleted file]	blob \| history
helm/proofChecker/proofChecker.ml	[deleted file]	blob \| history
helm/schemas/13-dcagent	[deleted file]	blob \| history
helm/schemas/21-euler	[deleted file]	blob \| history
helm/schemas/dces	[deleted file]	blob \| history
helm/schemas/dcq	[deleted file]	blob \| history
helm/schemas/dctype	[deleted file]	blob \| history
helm/schemas/schema-h	[deleted file]	blob \| history
helm/schemas/schema-hth	[deleted file]	blob \| history
helm/scripts/init.d/daemon_respawner.sh	[deleted file]	blob \| history
helm/scripts/init.d/etc_default_helm	[deleted file]	blob \| history
helm/scripts/init.d/helm	[deleted file]	blob \| history
helm/scripts/init.d/helm-bootmisc.sh	[deleted file]	blob \| history
helm/scripts/init.d/helm-draw-graph	[deleted file]	blob \| history
helm/scripts/init.d/helm-http-getter	[deleted file]	blob \| history
helm/scripts/init.d/helm-proof-checker	[deleted file]	blob \| history
helm/scripts/init.d/helm-rdfly	[deleted file]	blob \| history
helm/scripts/init.d/helm-search-engine	[deleted file]	blob \| history
helm/scripts/init.d/helm-uri-set-queue	[deleted file]	blob \| history
helm/scripts/init.d/helm-uwobo	[deleted file]	blob \| history
helm/scripts/init.d/helm-uwobo-stylesheets	[deleted file]	blob \| history
helm/scripts/init.d/loadPredefinedStylesheets.pl	[deleted file]	blob \| history
helm/searchEngine/.cvsignore	[deleted file]	blob \| history
helm/searchEngine/.depend	[deleted file]	blob \| history
helm/searchEngine/Makefile	[deleted file]	blob \| history
helm/searchEngine/html/Makefile	[deleted file]	blob \| history
helm/searchEngine/html/includes.xsl	[deleted file]	blob \| history
helm/searchEngine/html/manual/alias.jpg	[deleted file]	blob \| history
helm/searchEngine/html/manual/ex1.jpg	[deleted file]	blob \| history
helm/searchEngine/html/manual/frames.jpg	[deleted file]	blob \| history
helm/searchEngine/html/manual/index.html	[deleted file]	blob \| history
helm/searchEngine/html/moogle.html.src	[deleted file]	blob \| history
helm/searchEngine/html/moogle.png	[deleted file]	blob \| history
helm/searchEngine/html/moogle_chat.html.src	[deleted file]	blob \| history
helm/searchEngine/html/moogle_form.html.src	[deleted file]	blob \| history
helm/searchEngine/html/moogle_header.html.src	[deleted file]	blob \| history
helm/searchEngine/html/moogle_help.html	[deleted file]	blob \| history
helm/searchEngine/html/moogle_init.html	[deleted file]	blob \| history
helm/searchEngine/html/moogle_querybar.html.src	[deleted file]	blob \| history
helm/searchEngine/html/moogle_small.png	[deleted file]	blob \| history
helm/searchEngine/html/moogle_syntax.html	[deleted file]	blob \| history
helm/searchEngine/html/moogle_trailer.html.src	[deleted file]	blob \| history
helm/searchEngine/mooglePp.ml	[deleted file]	blob \| history
helm/searchEngine/mooglePp.mli	[deleted file]	blob \| history
helm/searchEngine/searchEngine.conf.xml.sample	[deleted file]	blob \| history
helm/searchEngine/searchEngine.ml	[deleted file]	blob \| history
helm/uwobo-panel/.cvsignore	[deleted file]	blob \| history
helm/uwobo-panel/Makefile	[deleted file]	blob \| history
helm/uwobo-panel/control.html	[deleted file]	blob \| history
helm/uwobo-panel/control.js	[deleted file]	blob \| history
helm/uwobo-panel/index.html	[deleted file]	blob \| history
helm/uwobo-panel/welcome.html	[deleted file]	blob \| history
helm/uwobo/.cvsignore	[deleted file]	blob \| history
helm/uwobo/.depend	[deleted file]	blob \| history
helm/uwobo/Makefile	[deleted file]	blob \| history
helm/uwobo/doc/uwobo.tex	[deleted file]	blob \| history
helm/uwobo/log/.cvsignore	[deleted file]	blob \| history
helm/uwobo/uwobo.conf.xml.sample	[deleted file]	blob \| history
helm/uwobo/uwobo.ml	[deleted file]	blob \| history
helm/uwobo/uwobo_common.ml	[deleted file]	blob \| history
helm/uwobo/uwobo_common.mli	[deleted file]	blob \| history
helm/uwobo/uwobo_engine.ml	[deleted file]	blob \| history
helm/uwobo/uwobo_engine.mli	[deleted file]	blob \| history
helm/uwobo/uwobo_logger.ml	[deleted file]	blob \| history
helm/uwobo/uwobo_logger.mli	[deleted file]	blob \| history
helm/uwobo/uwobo_profiles.ml	[deleted file]	blob \| history
helm/uwobo/uwobo_profiles.mli	[deleted file]	blob \| history
helm/uwobo/uwobo_styles.ml	[deleted file]	blob \| history
helm/uwobo/uwobo_styles.mli	[deleted file]	blob \| history
helm/xmltheory/Coq_v2theoryxml/.cvsignore	[deleted file]	blob \| history
helm/xmltheory/Coq_v2theoryxml/.depend	[deleted file]	blob \| history
helm/xmltheory/Coq_v2theoryxml/Makefile	[deleted file]	blob \| history
helm/xmltheory/Coq_v2theoryxml/coq_v2theoryxml.ml	[deleted file]	blob \| history
helm/xmltheory/FakeCoq_vo2xml/README	[deleted file]	blob \| history
helm/xmltheory/FakeCoq_vo2xml/coq_vo2xml	[deleted file]	blob \| history
helm/xmltheory/XmlTheory/.cvsignore	[deleted file]	blob \| history
helm/xmltheory/XmlTheory/.depend	[deleted file]	blob \| history
helm/xmltheory/XmlTheory/COME_COMPILARE	[deleted file]	blob \| history
helm/xmltheory/XmlTheory/Make	[deleted file]	blob \| history
helm/xmltheory/XmlTheory/Makefile	[deleted file]	blob \| history
helm/xmltheory/XmlTheory/README	[deleted file]	blob \| history
helm/xmltheory/XmlTheory/XmlTheory.v	[deleted file]	blob \| history
helm/xmltheory/XmlTheory/iXml.ml	[deleted file]	blob \| history
helm/xmltheory/XmlTheory/iXml.mli	[deleted file]	blob \| history
helm/xmltheory/XmlTheory/xmltheoryentries.ml	[deleted file]	blob \| history
helm/xmltheory/maththeory.dtd	[deleted file]	blob \| history
helm/xsltd/.cvsignore	[deleted file]	blob \| history
helm/xsltd/AUTHORS	[deleted file]	blob \| history
helm/xsltd/COPYING	[deleted file]	blob \| history
helm/xsltd/ChangeLog	[deleted file]	blob \| history
helm/xsltd/Makefile.in	[deleted file]	blob \| history
helm/xsltd/Makefile.old	[deleted file]	blob \| history
helm/xsltd/NEWS	[deleted file]	blob \| history
helm/xsltd/README	[deleted file]	blob \| history
helm/xsltd/config.cache.pkg	[deleted file]	blob \| history
helm/xsltd/configure.in	[deleted file]	blob \| history
helm/xsltd/helm_xsltd.spec.in	[deleted file]	blob \| history
helm/xsltd/start-xaland.in	[deleted file]	blob \| history
helm/xsltd/xaland-cpp/xaland.cpp	[deleted file]	blob \| history
helm/xsltd/xaland-java-DOM/xaland_DOM.class	[deleted file]	blob \| history
helm/xsltd/xaland-java-DOM/xaland_DOM.java	[deleted file]	blob \| history
helm/xsltd/xaland-java/rompi.class	[deleted file]	blob \| history
helm/xsltd/xaland-java/rompi.java	[deleted file]	blob \| history
helm/xsltd/xaland-java/sped.class	[deleted file]	blob \| history
helm/xsltd/xaland-java/sped.java	[deleted file]	blob \| history
helm/xsltd/xaland-java/xaland.class	[deleted file]	blob \| history
helm/xsltd/xaland-java/xaland.java	[deleted file]	blob \| history
helm/xsltd/xaland-java/xaland.java.prima_del_loro_baco	[deleted file]	blob \| history
helm/xsltd/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset	[deleted file]	blob \| history
helm/xsltd/xaland-java2/xaland2.class	[deleted file]	blob \| history
helm/xsltd/xaland-java2/xaland2.java	[deleted file]	blob \| history
helm/xsltd/xaland-uwobo/.cvsignore	[deleted file]	blob \| history
helm/xsltd/xaland-uwobo/xaland_uwobo.java	[deleted file]	blob \| history
helm/xsltd/xaland.class	[deleted file]	blob \| history
helm/xsltd/xaland2.class	[deleted file]	blob \| history
helm/xsltd/xaland_DOM.class	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom