]> matita.cs.unibo.it Git - helm.git/tree
7a007d2ca4f6c76fa8710b5a36428fe3712b7958
-rw-r--r-- 165 .cvsignore
-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-- 1008 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-- 17366 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