]> matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/lablgtkmathview/
* upgrade to lablgtk2
[helm.git] / helm / DEVEL / lablgtkmathview /
drwxr-xr-x   ..
-rw-r--r-- 126 .cvsignore
-rw-r--r-- 679 .depend
-rw-r--r-- 88 AUTHORS
-rw-r--r-- 17992 COPYING
-rw-r--r-- 157 ChangeLog
-rw-r--r-- 1018 LICENSE
-rw-r--r-- 134 META.in
-rw-r--r-- 4031 Makefile.in
-rw-r--r-- 0 NEWS
-rw-r--r-- 124 README
-rw-r--r-- 1605 configure.in
drwxr-xr-x - debian
-rw-r--r-- 3449 gMathView.ml
-rw-r--r-- 3264 gMathView.mli
-rw-r--r-- 8886 gMathViewAux.ml
-rw-r--r-- 2606 gMathViewAux.mli
-rw-r--r-- 3468 gtkMathView.ml
-rw-r--r-- 1062 gtk_mathview.ml
drwxr-xr-x - lablgtk
-rw-r--r-- 587 lablgtkmathview.spec.in
-rw-r--r-- 5643 ml_gtk_mathview.c
drwxr-xr-x - test