Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ProofGeneral.patch | 822 | logplain |
-rw-r--r-- | ProofGeneral.spec | 4472 | logplain |
-rw-r--r-- | README | 781 | logplain |
-rw-r--r-- | TESTS | 2602 | logplain |
-rw-r--r-- | announce | 2799 | logplain |
-rw-r--r-- | bug-notes.txt | 978 | logplain |
d--------- | coq | 76 | logplain |
-rw-r--r-- | cvs-tips.txt | 3007 | logplain |
-rw-r--r-- | debugging-tips.txt | 379 | logplain |
d--------- | demoisa | 162 | logplain |
-rw-r--r-- | doc-notes.txt | 5968 | logplain |
d--------- | isa | 351 | logplain |
d--------- | isar | 180 | logplain |
-rw-r--r-- | junk.el | 4995 | logplain |
d--------- | lego | 243 | logplain |
d--------- | patches | 123 | logplain |
d--------- | pgkit | 80 | logplain |
-rw-r--r-- | profiling.txt | 23650 | logplain |
-rw-r--r-- | proofgeneral-domain.txt | 573 | logplain |
-rw-r--r-- | release-log.txt | 1928 | 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 |