| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Dockerfile | 738 | logplain |
| -rw-r--r-- | ProofGeneral.desktop | 178 | logplain |
| -rw-r--r-- | ProofGeneral.menu | 215 | logplain |
| -rw-r--r-- | ProofGeneral.spec | 2690 | logplain |
| -rw-r--r-- | README | 1047 | logplain |
| d--------- | coq | 629 | logplain |
| -rw-r--r-- | cvs-tips.txt | 2971 | logplain |
| d--------- | demoisa | 162 | logplain |
| d--------- | desktop | 197 | logplain |
| -rw-r--r-- | development-tips.txt | 2212 | logplain |
| d--------- | emacsbugs | 92 | logplain |
| d--------- | hol-light | 39 | logplain |
| d--------- | isar | 1717 | logplain |
| d--------- | lego | 276 | logplain |
| -rw-r--r-- | profiling.txt | 426 | logplain |
| -rw-r--r-- | proofgeneral-domain.txt | 750 | logplain |
| d--------- | proviola | 238 | logplain |
| d--------- | testsuite | 81 | logplain |
| d--------- | trac | 383 | logplain |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |