]>
-rw-r--r-- | 139 | changelog | blob | raw |
-rw-r--r-- | 2 | compat | blob | raw |
-rw-r--r-- | 1623 | control | blob | raw |
-rw-r--r-- | 1043 | copyright | blob | raw |
-rw-r--r-- | 45 | matita-standard-library.dirs | blob | raw |
-rw-r--r-- | 75 | matita-standard-library.install | blob | raw |
-rw-r--r-- | 28 | matita.dirs | blob | raw |
-rw-r--r-- | 446 | matita.install | blob | raw |
-rw-r--r-- | 224 | matita.menu | blob | raw |
drwxr-xr-x | - | patches | tree |
-rwxr-xr-x | 2182 | rules | blob | raw |