]> matita.cs.unibo.it Git - helm.git/commit
tagging 0.0.8-1
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:49:45 +0000 (09:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:49:45 +0000 (09:49 +0000)
commitd0609dc18f0d1b28cbf7968d90ead15ead115456
treeab2ee02c772ae5501858956e2f9fae5d367b7008
parent6094b975b5cf8d0e3ac05cd9aeafe9d1ee41a3e2
tagging 0.0.8-1
67 files changed:
DEVEL/gdome_xslt/0.0.8-1/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/AUTHORS [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/BUGS [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C++/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C++/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C++/gdome_xslt/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C++/gdome_xslt/GdomeSmartDOMXSLT.hh [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.cc [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.hh [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C++/gdome_xslt/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C++/test/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C++/test/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C++/test/main.cc [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C/gdome_xslt/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C/gdome_xslt/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C/gdome_xslt/gdome_xslt.c [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C/gdome_xslt/gdome_xslt.h [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C/test/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C/test/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/C/test/test.c [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ChangeLog [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/LICENSE [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/LICENSE-INRIA [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/NEWS [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/README [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/configure.ac [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/changelog [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/compat [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/control [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/copyright [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/docs [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/libgdome2-xslt-dev.examples [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/libgdome2-xslt-dev.install [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/libgdome2-xslt-ocaml-dev.dirs.in [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/libgdome2-xslt-ocaml-dev.examples [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/libgdome2-xslt-ocaml-dev.install.in [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/libgdome2-xslt-ocaml.dirs.in [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/libgdome2-xslt-ocaml.install.in [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/libgdome2-xslt0c2a.install [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/debian/rules [new file with mode: 0755]
DEVEL/gdome_xslt/0.0.8-1/gdome2-xslt-cpp-smart.pc.in [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/gdome2-xslt.pc.in [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/.depend [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/META.in [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/gdome_xslt.ml [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/gdome_xslt.mli [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/gdome_xslt_init.ml [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/gdome_xslt_init.mli [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/i_gdome_xslt.ml [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/ml_gdome_xslt.c [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/ml_gdome_xslt.h [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/gdome_xslt/ocaml-io.h [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/test/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/test/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/ocaml/test/test.ml [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/test_files/.cvsignore [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/test_files/Makefile.am [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/test_files/input.xml [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/test_files/output.xml.correct [new file with mode: 0644]
DEVEL/gdome_xslt/0.0.8-1/test_files/stylesheet.xsl [new file with mode: 0644]