]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95382c0) | patch
Initial revision
authorLuca Padovani <luca.padovani@unito.it>
Wed, 10 Jan 2001 10:12:49 +0000 (10:12 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 10 Jan 2001 10:12:49 +0000 (10:12 +0000)
commitdfb99fda45c1cd87a7c2fedcebb987f3220e0516
treef11a1ddc239747cebdecb4b334ac1033f5bdd77btree | snapshot
parent95382c071236ad4bf8e42041839493dec191f921commit | diff
Initial revision
21 files changed:
helm/DEVEL/lablgtkmathview/.cvsignore [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/.depend [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/AUTHORS [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/COPYING [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/ChangeLog [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/LICENSE [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/Makefile.in [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/NEWS [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/README [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/configure.in [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/configure.mk [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/gMathView.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/gtkMathView.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/gtk_mathview.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/lablgtkmathview-0.2.2-1.spec [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/test/.cvsignore [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/test/Makefile [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/test/t1.config [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/test/test.ml [new file with mode: 0644] blob
helm/DEVEL/lablgtkmathview/test/test.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.