]> matita.cs.unibo.it Git - helm.git/tree
96e0c36a276cfc1f7fe2a2e5067eb6c1c7743c58
-rw-r--r-- 144 .cvsignore
drwxr-xr-x - METAS
-rw-r--r-- 3115 Makefile.common.in
-rw-r--r-- 2708 Makefile.in
drwxr-xr-x - cic
drwxr-xr-x - cic_annotations
drwxr-xr-x - cic_annotations_cache
drwxr-xr-x - cic_cache
drwxr-xr-x - cic_disambiguation
drwxr-xr-x - cic_omdoc
drwxr-xr-x - cic_proof_checking
drwxr-xr-x - cic_textual_parser
drwxr-xr-x - cic_transformations
drwxr-xr-x - cic_unification
-rw-r--r-- 1526 configure.ac
drwxr-xr-x - getter
drwxr-xr-x - hbugs
drwxr-xr-x - logger
drwxr-xr-x - mathql
drwxr-xr-x - mathql_generator
drwxr-xr-x - mathql_interpreter
drwxr-xr-x - pxp
drwxr-xr-x - registry
drwxr-xr-x - tactics
drwxr-xr-x - tex_cic_textual_parser
drwxr-xr-x - thread
drwxr-xr-x - urimanager
drwxr-xr-x - xml