]> matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/mathml_editor/
* disable-shared doens't bother ocaml
[helm.git] / helm / DEVEL / mathml_editor /
drwxr-xr-x   ..
-rw-r--r-- 165 .cvsignore
-rw-r--r-- 546 .log
-rw-r--r-- 76 AUTHORS
-rw-r--r-- 27181 BROWSE
-rw-r--r-- 117 BUGS-GDOME2
-rw-r--r-- 0 ChangeLog
-rw-r--r-- 1076 LICENSE
-rw-r--r-- 486 MODES
-rw-r--r-- 552 Makefile.am
-rw-r--r-- 13576 Makefile.in
-rw-r--r-- 0 NEWS
-rw-r--r-- 4422 PATTERNS
-rw-r--r-- 0 README
-rw-r--r-- 1124 TML.dtd
-rw-r--r-- 392 TODO
-rw-r--r-- 7560 configure.ac
-rw-r--r-- 175 dictionary-basic.xml
-rw-r--r-- 275 dictionary-test.xml
-rw-r--r-- 17239 dictionary-tex.xml
-rw-r--r-- 539 dictionary.dtd
-rw-r--r-- 273 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