Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ProofGeneral.desktop | 153 | logplain |
-rw-r--r-- | ProofGeneral.menu | 215 | logplain |
-rw-r--r-- | ProofGeneral.spec | 2695 | logplain |
-rw-r--r-- | README | 1004 | logplain |
-rw-r--r-- | TESTS | 2602 | logplain |
d--------- | coq | 545 | logplain |
-rw-r--r-- | cvs-tips.txt | 2790 | logplain |
d--------- | demoisa | 162 | logplain |
d--------- | desktop | 197 | logplain |
-rw-r--r-- | development-tips.txt | 1854 | logplain |
d--------- | emacsbugs | 48 | logplain |
d--------- | isar | 1711 | logplain |
d--------- | lego | 276 | logplain |
-rw-r--r-- | mmm-install | 286 | logplain |
-rw-r--r-- | profiling.txt | 23812 | logplain |
-rw-r--r-- | proofgeneral-domain.txt | 750 | logplain |
d--------- | proviola | 238 | logplain |
d--------- | testsuite | 81 | logplain |
d--------- | trac | 229 | logplain |