]> matita.cs.unibo.it Git - helm.git/commit
tagging 0.7.8-1
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 10:19:14 +0000 (10:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 10:19:14 +0000 (10:19 +0000)
commit55112152aae73d5dc4f25a273d3443593b9dae01
tree900bd2047beaf0e539ffb558b9e025ea0825d382
parent38440c2ea91723d0378289197cc82e1d083878a2
tagging 0.7.8-1
33 files changed:
DEVEL/lablgtkmathview/0.7.8-1/.cvsignore [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/.depend [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/AUTHORS [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/COPYING [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/ChangeLog [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/LICENSE [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/META.in [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/Makefile.in [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/NEWS [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/README [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/configure.in [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/debian/changelog [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/debian/compat [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/debian/control [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/debian/copyright [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/debian/docs [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/debian/liblablgtkmathview-ocaml-dev.install.in [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/debian/liblablgtkmathview-ocaml.install.in [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/debian/rules [new file with mode: 0755]
DEVEL/lablgtkmathview/0.7.8-1/gMathView.ml [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/gMathView.mli [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/gMathViewAux.ml [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/gMathViewAux.mli [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/gtkMathView.ml [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/gtkMathView.props [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/gtk_mathview.ml [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/lablgtk/META.lablgtk [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/ml_gtk_mathview.c [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/test/.cvsignore [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/test/Makefile.in [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/test/t1.config [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/test/test.ml [new file with mode: 0644]
DEVEL/lablgtkmathview/0.7.8-1/test/test.xml [new file with mode: 0644]