]>
-rw-r--r-- | 144 | .cvsignore | blob | raw |
drwxr-xr-x | - | METAS | tree |
-rw-r--r-- | 3705 | Makefile.common.in | blob | raw |
-rw-r--r-- | 2598 | Makefile.in | blob | raw |
-rw-r--r-- | 0 | TODO | blob | raw |
drwxr-xr-x | - | cic | tree |
drwxr-xr-x | - | cic_disambiguation | tree |
drwxr-xr-x | - | cic_notation | tree |
drwxr-xr-x | - | cic_omdoc | tree |
drwxr-xr-x | - | cic_proof_checking | tree |
drwxr-xr-x | - | cic_transformations | tree |
drwxr-xr-x | - | cic_unification | tree |
-rw-r--r-- | 1421 | configure.ac | blob | raw |
drwxr-xr-x | - | getter | tree |
drwxr-xr-x | - | hbugs | tree |
-rw-r--r-- | 988 | license | blob | raw |
drwxr-xr-x | - | logger | tree |
drwxr-xr-x | - | mathql | tree |
drwxr-xr-x | - | mathql_generator | tree |
drwxr-xr-x | - | mathql_interpreter | tree |
drwxr-xr-x | - | metadata | tree |
drwxr-xr-x | - | paramodulation | tree |
drwxr-xr-x | - | registry | tree |
drwxr-xr-x | - | tactics | tree |
drwxr-xr-x | - | thread | tree |
drwxr-xr-x | - | urimanager | tree |
drwxr-xr-x | - | utf8_macros | tree |
drwxr-xr-x | - | xml | tree |
drwxr-xr-x | - | xmldiff | tree |