]> matita.cs.unibo.it Git - helm.git/tree
5d2b51a4ba2e831a159bbda97c8711204d689f8a
-rw-r--r-- 144 .cvsignore
drwxr-xr-x - METAS
-rw-r--r-- 3779 Makefile.common.in
-rw-r--r-- 2802 Makefile.in
-rw-r--r-- 0 TODO
drwxr-xr-x - acic_content
drwxr-xr-x - cic
drwxr-xr-x - cic_acic
drwxr-xr-x - cic_disambiguation
drwxr-xr-x - cic_proof_checking
drwxr-xr-x - cic_unification
-rw-r--r-- 1421 configure.ac
drwxr-xr-x - content_pres
drwxr-xr-x - extlib
drwxr-xr-x - getter
drwxr-xr-x - grafite
drwxr-xr-x - grafite2
drwxr-xr-x - grafite_parser
drwxr-xr-x - hbugs
drwxr-xr-x - hgdome
drwxr-xr-x - hmysql
drwxr-xr-x - library
-rw-r--r-- 988 license
drwxr-xr-x - logger
drwxr-xr-x - mathql
drwxr-xr-x - mathql_generator
drwxr-xr-x - mathql_interpreter
drwxr-xr-x - metadata
drwxr-xr-x - paramodulation
drwxr-xr-x - registry
drwxr-xr-x - tactics
drwxr-xr-x - thread
drwxr-xr-x - urimanager
drwxr-xr-x - utf8_macros
drwxr-xr-x - whelp
drwxr-xr-x - xml
drwxr-xr-x - xmldiff