| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Mailman | 310 | logplain |
| -rw-r--r-- | ProofGeneral.desktop | 153 | logplain |
| -rw-r--r-- | ProofGeneral.menu | 215 | logplain |
| -rw-r--r-- | ProofGeneral.spec | 4199 | logplain |
| -rw-r--r-- | README | 945 | logplain |
| -rw-r--r-- | README.devel | 3375 | logplain |
| -rw-r--r-- | TESTS | 2602 | logplain |
| -rw-r--r-- | announce | 1643 | logplain |
| -rw-r--r-- | announce-header.txt | 812 | logplain |
| -rw-r--r-- | bug-notes.txt | 978 | logplain |
| d--------- | coq | 262 | logplain |
| -rw-r--r-- | cvs-tips.txt | 2790 | logplain |
| -rw-r--r-- | debugging-tips.txt | 2257 | logplain |
| d--------- | demoisa | 162 | logplain |
| d--------- | desktop | 197 | logplain |
| -rw-r--r-- | doc-notes.txt | 5968 | logplain |
| d--------- | isa | 435 | logplain |
| d--------- | isar | 680 | logplain |
| d--------- | lego | 276 | logplain |
| -rw-r--r-- | mmm-install | 286 | logplain |
| d--------- | patches | 123 | logplain |
| d--------- | pgkit | 80 | logplain |
| -rw-r--r-- | profiling.txt | 23785 | logplain |
| -rw-r--r-- | proofgeneral-domain.txt | 750 | logplain |
| -rw-r--r-- | release-log.txt | 2076 | logplain |
| -rw-r--r-- | screenshot-notes.txt | 945 | logplain |
| -rw-r--r-- | test-schedule.txt | 274 | logplain |
| -rw-r--r-- | testing-log.txt | 4252 | logplain |
| d--------- | testsuite | 81 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |