]> matita.cs.unibo.it Git - helm.git/tree
80d739da6f27043bb1eeb91842d679029593d7cc
-rw-r--r-- 43 .cvsignore
-rw-r--r-- 168 .depend
-rw-r--r-- 403 COPYING
-rw-r--r-- 2598 Makefile
-rw-r--r-- 1953 configure.mk
-rw-r--r-- 3046 gMathView.ml
-rw-r--r-- 4861 gtkMathView.ml
-rw-r--r-- 64 gtk_mathview.ml
drwxr-xr-x - minidom
-rw-r--r-- 4691 ml_gtk_mathview.c
drwxr-xr-x - test