]> matita.cs.unibo.it Git - helm.git/commit
reorganization continues ...
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 18:57:10 +0000 (18:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 18:57:10 +0000 (18:57 +0000)
commitd17988855a2e85dc2db641d11ce481c266038ef3
treefea9568b7a69e1030167bebc040b58bb0549bef4
parente4633c8734ded3d203fb292aec78d614a8b70ed7
reorganization continues ...
386 files changed:
DEVEL/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/AUTHORS [new file with mode: 0644]
DEVEL/gdome_xslt/BUGS [new file with mode: 0644]
DEVEL/gdome_xslt/C++/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/C++/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/C++/gdome_xslt/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLT.hh [new file with mode: 0644]
DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.cc [new file with mode: 0644]
DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.hh [new file with mode: 0644]
DEVEL/gdome_xslt/C++/gdome_xslt/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/C++/test/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/C++/test/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/C++/test/main.cc [new file with mode: 0644]
DEVEL/gdome_xslt/C/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/C/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/C/gdome_xslt/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/C/gdome_xslt/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/C/gdome_xslt/gdome_xslt.c [new file with mode: 0644]
DEVEL/gdome_xslt/C/gdome_xslt/gdome_xslt.h [new file with mode: 0644]
DEVEL/gdome_xslt/C/test/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/C/test/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/C/test/test.c [new file with mode: 0644]
DEVEL/gdome_xslt/ChangeLog [new file with mode: 0644]
DEVEL/gdome_xslt/LICENSE [new file with mode: 0644]
DEVEL/gdome_xslt/LICENSE-INRIA [new file with mode: 0644]
DEVEL/gdome_xslt/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/NEWS [new file with mode: 0644]
DEVEL/gdome_xslt/README [new file with mode: 0644]
DEVEL/gdome_xslt/configure.ac [new file with mode: 0644]
DEVEL/gdome_xslt/debian/changelog [new file with mode: 0644]
DEVEL/gdome_xslt/debian/compat [new file with mode: 0644]
DEVEL/gdome_xslt/debian/control [new file with mode: 0644]
DEVEL/gdome_xslt/debian/control.in [new file with mode: 0644]
DEVEL/gdome_xslt/debian/copyright [new file with mode: 0644]
DEVEL/gdome_xslt/debian/docs [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-dev.examples [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-dev.install [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs.in [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.examples [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs.in [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install.in [new file with mode: 0644]
DEVEL/gdome_xslt/debian/libgdome2-xslt0c2a.install [new file with mode: 0644]
DEVEL/gdome_xslt/debian/rules [new file with mode: 0755]
DEVEL/gdome_xslt/gdome2-xslt-cpp-smart.pc.in [new file with mode: 0644]
DEVEL/gdome_xslt/gdome2-xslt.pc.in [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/.depend [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.ml [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.ml [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.mli [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/i_gdome_xslt.ml [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.h [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/gdome_xslt/ocaml-io.h [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/test/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/test/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/ocaml/test/test.ml [new file with mode: 0644]
DEVEL/gdome_xslt/test_files/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/test_files/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/test_files/input.xml [new file with mode: 0644]
DEVEL/gdome_xslt/test_files/output.xml.correct [new file with mode: 0644]
DEVEL/gdome_xslt/test_files/stylesheet.xsl [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/.cvsignore [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/AUTHORS [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/ChangeLog [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/LICENSE [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/Makefile.am [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/NEWS [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/README [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/TODO [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/configure.ac [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/gtkmathview-bonobo.pc.in [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/idl/.cvsignore [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/idl/GtkMathView.idl [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/idl/Makefile.am [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/.cvsignore [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/GNOME_GtkMathView.server.in.in [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/Makefile.am [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/aux.cc [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/aux.h [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/control-data.c [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/control-data.h [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/control-factory.c [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/control-factory.h [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/handlers.c [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/handlers.h [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/persist-file.c [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/persist-file.h [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/persist-stream.c [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/persist-stream.h [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/view.c [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/src/view.h [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/test/.cvsignore [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/test/Makefile.am [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/test/embedding.html [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/test/embedding.xml [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/test/main.c [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/test/test.mml [new file with mode: 0644]
DEVEL/gtkmathview-bonobo/test/testembedding.html [new file with mode: 0644]
DEVEL/lablgtkmathview/.cvsignore [new file with mode: 0644]
DEVEL/lablgtkmathview/.depend [new file with mode: 0644]
DEVEL/lablgtkmathview/AUTHORS [new file with mode: 0644]
DEVEL/lablgtkmathview/COPYING [new file with mode: 0644]
DEVEL/lablgtkmathview/ChangeLog [new file with mode: 0644]
DEVEL/lablgtkmathview/LICENSE [new file with mode: 0644]
DEVEL/lablgtkmathview/META.in [new file with mode: 0644]
DEVEL/lablgtkmathview/Makefile.in [new file with mode: 0644]
DEVEL/lablgtkmathview/NEWS [new file with mode: 0644]
DEVEL/lablgtkmathview/README [new file with mode: 0644]
DEVEL/lablgtkmathview/configure.in [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/changelog [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/compat [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/control [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/control.in [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/copyright [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/docs [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.dirs [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.dirs [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install.in [new file with mode: 0644]
DEVEL/lablgtkmathview/debian/rules [new file with mode: 0755]
DEVEL/lablgtkmathview/gMathView.ml [new file with mode: 0644]
DEVEL/lablgtkmathview/gMathView.mli [new file with mode: 0644]
DEVEL/lablgtkmathview/gMathViewAux.ml [new file with mode: 0644]
DEVEL/lablgtkmathview/gMathViewAux.mli [new file with mode: 0644]
DEVEL/lablgtkmathview/gtkMathView.ml [new file with mode: 0644]
DEVEL/lablgtkmathview/gtkMathView.props [new file with mode: 0644]
DEVEL/lablgtkmathview/gtk_mathview.ml [new file with mode: 0644]
DEVEL/lablgtkmathview/lablgtk/META.lablgtk [new file with mode: 0644]
DEVEL/lablgtkmathview/ml_gtk_mathview.c [new file with mode: 0644]
DEVEL/lablgtkmathview/test/.cvsignore [new file with mode: 0644]
DEVEL/lablgtkmathview/test/Makefile.in [new file with mode: 0644]
DEVEL/lablgtkmathview/test/t1.config [new file with mode: 0644]
DEVEL/lablgtkmathview/test/test.ml [new file with mode: 0644]
DEVEL/lablgtkmathview/test/test.xml [new file with mode: 0644]
DEVEL/lablgtksourceview/.cvsignore [new file with mode: 0644]
DEVEL/lablgtksourceview/.depend [new file with mode: 0644]
DEVEL/lablgtksourceview/ACKNOWLEDGEMENTS [new file with mode: 0644]
DEVEL/lablgtksourceview/AUTHORS [new file with mode: 0644]
DEVEL/lablgtksourceview/CHANGES [new file with mode: 0644]
DEVEL/lablgtksourceview/COPYING [new file with mode: 0644]
DEVEL/lablgtksourceview/Changelog [new file with mode: 0644]
DEVEL/lablgtksourceview/LICENSE [new file with mode: 0644]
DEVEL/lablgtksourceview/META.in [new file with mode: 0644]
DEVEL/lablgtksourceview/Makefile.in [new file with mode: 0644]
DEVEL/lablgtksourceview/NEWS [new file with mode: 0644]
DEVEL/lablgtksourceview/README [new file with mode: 0644]
DEVEL/lablgtksourceview/configure.ac [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/changelog [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/compat [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/control [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/control.in [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/copyright [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.docs [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml-dev.install.in [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/liblablgtksourceview-ocaml.install.in [new file with mode: 0644]
DEVEL/lablgtksourceview/debian/rules [new file with mode: 0755]
DEVEL/lablgtksourceview/gSourceView.ml [new file with mode: 0644]
DEVEL/lablgtksourceview/gSourceView.mli [new file with mode: 0644]
DEVEL/lablgtksourceview/gtkSourceView.ml [new file with mode: 0644]
DEVEL/lablgtksourceview/gtkSourceView.props [new file with mode: 0644]
DEVEL/lablgtksourceview/gtk_sourceview.ml [new file with mode: 0644]
DEVEL/lablgtksourceview/ml_gtk_sourceview.c [new file with mode: 0644]
DEVEL/lablgtksourceview/test/.cvsignore [new file with mode: 0644]
DEVEL/lablgtksourceview/test/Makefile.in [new file with mode: 0644]
DEVEL/lablgtksourceview/test/test.lang [new file with mode: 0644]
DEVEL/lablgtksourceview/test/test.ml [new file with mode: 0644]
DEVEL/lablgtksourceview/test/test.txt [new file with mode: 0644]
DEVEL/mathml_editor/.cvsignore [new file with mode: 0644]
DEVEL/mathml_editor/.log [new file with mode: 0644]
DEVEL/mathml_editor/AUTHORS [new file with mode: 0644]
DEVEL/mathml_editor/BROWSE [new file with mode: 0644]
DEVEL/mathml_editor/BUGS [new file with mode: 0644]
DEVEL/mathml_editor/BUGS-GDOME2 [new file with mode: 0644]
DEVEL/mathml_editor/ChangeLog [new file with mode: 0644]
DEVEL/mathml_editor/LICENSE [new file with mode: 0644]
DEVEL/mathml_editor/MODES [new file with mode: 0644]
DEVEL/mathml_editor/Makefile.am [new file with mode: 0644]
DEVEL/mathml_editor/Makefile.in [new file with mode: 0644]
DEVEL/mathml_editor/NEWS [new file with mode: 0644]
DEVEL/mathml_editor/PATTERNS [new file with mode: 0644]
DEVEL/mathml_editor/README [new file with mode: 0644]
DEVEL/mathml_editor/TML.dtd [new file with mode: 0644]
DEVEL/mathml_editor/TODO [new file with mode: 0644]
DEVEL/mathml_editor/configure.ac [new file with mode: 0644]
DEVEL/mathml_editor/debian/changelog [new file with mode: 0644]
DEVEL/mathml_editor/debian/compat [new file with mode: 0644]
DEVEL/mathml_editor/debian/control [new file with mode: 0644]
DEVEL/mathml_editor/debian/copyright [new file with mode: 0644]
DEVEL/mathml_editor/debian/docs [new file with mode: 0644]
DEVEL/mathml_editor/debian/libeditex-dev.files [new file with mode: 0644]
DEVEL/mathml_editor/debian/libeditex-ocaml-dev.files [new file with mode: 0644]
DEVEL/mathml_editor/debian/libeditex-ocaml.files [new file with mode: 0644]
DEVEL/mathml_editor/debian/libeditex0.files [new file with mode: 0644]
DEVEL/mathml_editor/debian/rules [new file with mode: 0755]
DEVEL/mathml_editor/dict/.cvsignore [new file with mode: 0644]
DEVEL/mathml_editor/dict/Makefile.am [new file with mode: 0644]
DEVEL/mathml_editor/dict/dictionary-basic.xml [new file with mode: 0644]
DEVEL/mathml_editor/dict/dictionary-test.xml [new file with mode: 0644]
DEVEL/mathml_editor/dict/dictionary-tex.xml [new file with mode: 0644]
DEVEL/mathml_editor/dict/dictionary.dtd [new file with mode: 0644]
DEVEL/mathml_editor/doc/.cvsignore [new file with mode: 0644]
DEVEL/mathml_editor/doc/spec.tex [new file with mode: 0644]
DEVEL/mathml_editor/editex.pc.in [new file with mode: 0644]
DEVEL/mathml_editor/examples/.cvsignore [new file with mode: 0644]
DEVEL/mathml_editor/examples/Makefile.am [new file with mode: 0644]
DEVEL/mathml_editor/examples/abs.tex [new file with mode: 0644]
DEVEL/mathml_editor/examples/big.tex [new file with mode: 0644]
DEVEL/mathml_editor/ocaml/.cvsignore [new file with mode: 0644]
DEVEL/mathml_editor/ocaml/.depend [new file with mode: 0644]
DEVEL/mathml_editor/ocaml/META.in [new file with mode: 0644]
DEVEL/mathml_editor/ocaml/Makefile.am [new file with mode: 0644]
DEVEL/mathml_editor/ocaml/c_mathml_editor.cc [new file with mode: 0644]
DEVEL/mathml_editor/ocaml/c_mathml_editor.h [new file with mode: 0644]
DEVEL/mathml_editor/ocaml/i_mathml_editor.ml [new file with mode: 0644]
DEVEL/mathml_editor/ocaml/mathml_editor.ml [new file with mode: 0644]
DEVEL/mathml_editor/ocaml/mathml_editor.mli [new file with mode: 0644]
DEVEL/mathml_editor/ocaml/ml_mathml_editor.c [new file with mode: 0644]
DEVEL/mathml_editor/src/.cvsignore [new file with mode: 0644]
DEVEL/mathml_editor/src/ALogger.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/AMathMLConsumer.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/AMathMLFactory.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/AMathMLFactory.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/APushLexer.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/APushParser.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/APushParser.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/BROWSE [new file with mode: 0644]
DEVEL/mathml_editor/src/CLoggerConsole.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/CLoggerConsole.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/CMathMLFactoryXSLT.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/Diff.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/Diff.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/ILPushLexer.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/ILPushLexer.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/ITPushLexer.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/ITPushLexer.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/LPushLexer.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/LPushLexer.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/Makefile.am [new file with mode: 0644]
DEVEL/mathml_editor/src/Makefile.in [new file with mode: 0644]
DEVEL/mathml_editor/src/TDictionary.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/TDictionary.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/TDocument.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/TDocument.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/TListener.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/TNode.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/TNode.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/TPushLexer.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/TPushLexer.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/TPushParser.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/TPushParser.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/TToken.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/TTokenizer.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/TTokenizer.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/config.dirs.in [new file with mode: 0644]
DEVEL/mathml_editor/src/dom.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/globals.hh [new file with mode: 0644]
DEVEL/mathml_editor/src/timer.cc [new file with mode: 0644]
DEVEL/mathml_editor/src/timer.hh [new file with mode: 0644]
DEVEL/mathml_editor/test/.cvsignore [new file with mode: 0644]
DEVEL/mathml_editor/test/Makefile.am [new file with mode: 0644]
DEVEL/mathml_editor/test/Makefile.in [new file with mode: 0644]
DEVEL/mathml_editor/test/aux.cc [new file with mode: 0644]
DEVEL/mathml_editor/test/editor.cc [new file with mode: 0644]
DEVEL/mathml_editor/test/guiGTK.c [new file with mode: 0644]
DEVEL/mathml_editor/test/guiGTK.h [new file with mode: 0644]
DEVEL/mathml_editor/textomml/.cvsignore [new file with mode: 0644]
DEVEL/mathml_editor/textomml/Makefile.am [new file with mode: 0644]
DEVEL/mathml_editor/textomml/config.dirs.in [new file with mode: 0644]
DEVEL/mathml_editor/textomml/main.cc [new file with mode: 0644]
DEVEL/mathml_editor/xsl/.cvsignore [new file with mode: 0644]
DEVEL/mathml_editor/xsl/Makefile.am [new file with mode: 0644]
DEVEL/mathml_editor/xsl/d-xsl.xsl [new file with mode: 0644]
DEVEL/mathml_editor/xsl/tml-litex.xsl [new file with mode: 0644]
DEVEL/mathml_editor/xsl/tml-mmlp.xsl [new file with mode: 0644]
DEVEL/mathml_editor/xsl/tml-tex.xsl [new file with mode: 0644]
DEVEL/mathml_editor/xsl/tml-texid.xsl [new file with mode: 0644]
DEVEL/ocaml-http/.cvsignore [new file with mode: 0644]
DEVEL/ocaml-http/.depend [new file with mode: 0644]
DEVEL/ocaml-http/.ocamlinit [new file with mode: 0644]
DEVEL/ocaml-http/INSTALL [new file with mode: 0644]
DEVEL/ocaml-http/LICENSE [new file with mode: 0644]
DEVEL/ocaml-http/META.in [new file with mode: 0644]
DEVEL/ocaml-http/Makefile [new file with mode: 0644]
DEVEL/ocaml-http/Makefile.defs [new file with mode: 0644]
DEVEL/ocaml-http/README [new file with mode: 0644]
DEVEL/ocaml-http/TODO [new file with mode: 0644]
DEVEL/ocaml-http/debian/changelog [new file with mode: 0644]
DEVEL/ocaml-http/debian/compat [new file with mode: 0644]
DEVEL/ocaml-http/debian/control [new file with mode: 0644]
DEVEL/ocaml-http/debian/control.in [new file with mode: 0644]
DEVEL/ocaml-http/debian/copyright [new file with mode: 0644]
DEVEL/ocaml-http/debian/dirs [new file with mode: 0644]
DEVEL/ocaml-http/debian/dirs.in [new file with mode: 0644]
DEVEL/ocaml-http/debian/doc-base [new file with mode: 0644]
DEVEL/ocaml-http/debian/docs [new file with mode: 0644]
DEVEL/ocaml-http/debian/examples [new file with mode: 0644]
DEVEL/ocaml-http/debian/rules [new file with mode: 0755]
DEVEL/ocaml-http/doc/dot/.cvsignore [new file with mode: 0644]
DEVEL/ocaml-http/doc/html/.cvsignore [new file with mode: 0644]
DEVEL/ocaml-http/doc/latex/.cvsignore [new file with mode: 0644]
DEVEL/ocaml-http/examples/.cvsignore [new file with mode: 0644]
DEVEL/ocaml-http/examples/Makefile [new file with mode: 0644]
DEVEL/ocaml-http/examples/always_ok_daemon.ml [new file with mode: 0644]
DEVEL/ocaml-http/examples/basic_auth.ml [new file with mode: 0644]
DEVEL/ocaml-http/examples/chdir.ml [new file with mode: 0644]
DEVEL/ocaml-http/examples/client_address.ml [new file with mode: 0644]
DEVEL/ocaml-http/examples/damned_recursion.ml [new file with mode: 0644]
DEVEL/ocaml-http/examples/dump_args.ml [new file with mode: 0644]
DEVEL/ocaml-http/examples/highlander.ml [new file with mode: 0644]
DEVEL/ocaml-http/examples/oo_daemon.ml [new file with mode: 0644]
DEVEL/ocaml-http/examples/threads.ml [new file with mode: 0644]
DEVEL/ocaml-http/examples/timeout.ml [new file with mode: 0644]
DEVEL/ocaml-http/examples/webfsd.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_common.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_common.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_constants.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_constants.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_daemon.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_daemon.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_message.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_message.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_misc.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_misc.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_parser.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_parser.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_parser_sanity.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_parser_sanity.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_request.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_request.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_response.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_response.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_tcp_server.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_tcp_server.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_threaded_tcp_server.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_types.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_types.mli [new file with mode: 0644]
DEVEL/ocaml-http/http_user_agent.ml [new file with mode: 0644]
DEVEL/ocaml-http/http_user_agent.mli [new file with mode: 0644]
DEVEL/ocaml-http/mt/.cvsignore [new file with mode: 0644]
DEVEL/ocaml-http/mt/http_threaded_tcp_server.ml [new file with mode: 0644]
DEVEL/ocaml-http/non_mt/.cvsignore [new file with mode: 0644]
DEVEL/ocaml-http/non_mt/http_threaded_tcp_server.ml [new file with mode: 0644]
metadata/.cvsignore [new file with mode: 0644]
metadata/Makefile [new file with mode: 0644]
metadata/README [new file with mode: 0644]
metadata/dc/Makefile [new file with mode: 0644]
metadata/dc/fill_db.pl [new file with mode: 0755]
metadata/dc/sql/create_dc_tables.sql [new file with mode: 0644]
metadata/dc/sql/drop_dc_tables.sql [new file with mode: 0644]
metadata/extractor/.cvsignore [new file with mode: 0644]
metadata/extractor/Makefile [new file with mode: 0644]
metadata/extractor/README [new file with mode: 0644]
metadata/extractor/meta_lex.l [new file with mode: 0644]
metadata/extractor/meta_lex_ind.l [new file with mode: 0644]
metadata/extractor/sthandler.c [new file with mode: 0644]
metadata/extractor/sthandler.h [new file with mode: 0644]
metadata/extractor/sthandler_ind.c [new file with mode: 0644]
metadata/extractor/sthandler_ind.h [new file with mode: 0644]
metadata/sql/create_mowgli_tables.mysql.sql [new file with mode: 0644]
metadata/sql/create_mowgli_tables.sql [new file with mode: 0644]
metadata/sql/drop_mowgli_tables.mysql.sql [new file with mode: 0644]
metadata/sql/drop_mowgli_tables.sql [new file with mode: 0644]
metadata/sql/fill_all_derived.sql [new file with mode: 0644]
metadata/sql/fill_inconcl_aux.sql [new file with mode: 0644]
metadata/sql/fill_no_concl_hyp.sql [new file with mode: 0644]
metadata/sql/fill_no_hyp.sql [new file with mode: 0644]
metadata/sql/rating.sql [new file with mode: 0644]