]> matita.cs.unibo.it Git - helm.git/tree
c7a01fccd4b4f30ef14774f41b63eac9f9346960
-rw-r--r-- 43 .cvsignore
-rw-r--r-- 168 .depend
-rw-r--r-- 403 COPYING
-rw-r--r-- 2452 Makefile
-rw-r--r-- 1735 configure.mk
-rw-r--r-- 2395 gMathView.ml
-rw-r--r-- 3837 gtkMathView.ml
-rw-r--r-- 64 gtk_mathview.ml
drwxr-xr-x - minidom
-rw-r--r-- 3537 ml_gtk_mathview.c
drwxr-xr-x - test