]> matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/mathml_editor/
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor /
drwxr-xr-x   ..
-rw-r--r-- 175 .cvsignore
-rw-r--r-- 546 .log
-rw-r--r-- 76 AUTHORS
-rw-r--r-- 27181 BROWSE
-rw-r--r-- 0 BUGS
-rw-r--r-- 117 BUGS-GDOME2
-rw-r--r-- 1694 ChangeLog
-rw-r--r-- 1120 LICENSE
-rw-r--r-- 486 MODES
-rw-r--r-- 794 Makefile.am
-rw-r--r-- 13476 Makefile.in
-rw-r--r-- 0 NEWS
-rw-r--r-- 4422 PATTERNS
-rw-r--r-- 0 README
-rw-r--r-- 1233 TML.dtd
-rw-r--r-- 392 TODO
-rw-r--r-- 4984 configure.ac
drwxr-xr-x - debian
drwxr-xr-x - dict
drwxr-xr-x - doc
-rw-r--r-- 457 editex.pc.in
drwxr-xr-x - examples
drwxr-xr-x - ocaml
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - textomml
drwxr-xr-x - xsl