]> matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/lablgtkmathview/
Updated to lablgtk 1.2 and ocaml-3.01.
[helm.git] / helm / DEVEL / lablgtkmathview /
drwxr-xr-x   ..
-rw-r--r-- 100 .cvsignore
-rw-r--r-- 168 .depend
-rw-r--r-- 88 AUTHORS
-rw-r--r-- 17992 COPYING
-rw-r--r-- 0 ChangeLog
-rw-r--r-- 938 LICENSE
-rw-r--r-- 3013 Makefile.in
-rw-r--r-- 0 NEWS
-rw-r--r-- 124 README
-rw-r--r-- 2145 configure.in
-rw-r--r-- 1952 configure.mk
-rw-r--r-- 3985 gMathView.ml
-rw-r--r-- 5801 gtkMathView.ml
-rw-r--r-- 1003 gtk_mathview.ml
-rw-r--r-- 587 lablgtkmathview.spec.in
-rw-r--r-- 5620 ml_gtk_mathview.c
drwxr-xr-x - test