]> matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/mathml_editor/
A first partial implementation of deleting is introduced. The user might
[helm.git] / helm / DEVEL / mathml_editor /
drwxr-xr-x   ..
-rw-r--r-- 546 .log
-rw-r--r-- 37 AUTHORS
-rw-r--r-- 27181 BROWSE
-rw-r--r-- 760 BUGS-GDOME2
-rw-r--r-- 0 ChangeLog
-rw-r--r-- 1003 LICENSE
-rw-r--r-- 486 MODES
-rw-r--r-- 503 Makefile.am
-rw-r--r-- 13124 Makefile.in
-rw-r--r-- 0 NEWS
-rw-r--r-- 4422 PATTERNS
-rw-r--r-- 0 README
-rw-r--r-- 1094 TML.dtd
-rw-r--r-- 5550 configure.ac
-rw-r--r-- 470 dictionary.dtd
-rw-r--r-- 17193 dictionary.xml
-rw-r--r-- 0 editex-config.in
drwxr-xr-x - examples
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - xsl