]> matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/lablgtkmathview/
Main code clean-up.
[helm.git] / helm / DEVEL / lablgtkmathview /
drwxr-xr-x   ..
-rw-r--r-- 126 .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-- 172 META.in
-rw-r--r-- 3085 Makefile.in
-rw-r--r-- 0 NEWS
-rw-r--r-- 124 README
-rw-r--r-- 1463 configure.in
drwxr-xr-x - debian
-rw-r--r-- 4513 gMathView.ml
-rw-r--r-- 6961 gtkMathView.ml
-rw-r--r-- 1003 gtk_mathview.ml
-rw-r--r-- 587 lablgtkmathview.spec.in
-rw-r--r-- 5978 ml_gtk_mathview.c
drwxr-xr-x - test