]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5511215) | patch
tagging
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 15 Sep 2007 15:54:01 +0000 (15:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 15 Sep 2007 15:54:01 +0000 (15:54 +0000)
commitfa4211b5150b6401bc992780b1e55e0a178c8bb0
tree507b7d64d695a06fc65e5ac51ee49ddcf9b0aee9tree | snapshot
parent55112152aae73d5dc4f25a273d3443593b9dae01commit | diff
tagging
33 files changed:
DEVEL/lablgtkmathview/0.7.8-2/.cvsignore [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/.depend [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/AUTHORS [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/COPYING [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/ChangeLog [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/LICENSE [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/META.in [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/Makefile.in [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/NEWS [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/README [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/configure.in [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/debian/changelog [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/debian/compat [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/debian/control [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/debian/copyright [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/debian/docs [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/debian/liblablgtkmathview-ocaml-dev.install.in [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/debian/liblablgtkmathview-ocaml.install.in [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/debian/rules [new file with mode: 0755] blob
DEVEL/lablgtkmathview/0.7.8-2/gMathView.ml [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/gMathView.mli [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/gMathViewAux.ml [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/gMathViewAux.mli [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/gtkMathView.ml [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/gtkMathView.props [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/gtk_mathview.ml [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/lablgtk/META.lablgtk [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/ml_gtk_mathview.c [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/test/.cvsignore [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/test/Makefile.in [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/test/t1.config [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/test/test.ml [new file with mode: 0644] blob
DEVEL/lablgtkmathview/0.7.8-2/test/test.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.