| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-12-01 | Fix HTML errors by adding name arg to dt() function. | David Aspinall | |
| 1999-12-01 | Fix HTML errors. | David Aspinall | |
| 1999-12-01 | Mention using imenu instead of func-menu. | David Aspinall | |
| 1999-12-01 | Fix HTML error with fileshow. | David Aspinall | |
| 1999-12-01 | Added comments about initializing counter. | David Aspinall | |
| 1999-12-01 | Fix HTML error | David Aspinall | |
| 1999-12-01 | Made background a bit lighter. | David Aspinall | |
| 1999-11-30 | Updated for 3.1pre | David Aspinall | |
| 1999-11-30 | Set version tag for new release. | David Aspinall | |
| 1999-11-30 | Development version becomes 3.1. | David Aspinall | |
| 1999-11-30 | Set version tag for new release. | David Aspinall | |
| 1999-11-30 | Cannot have FULLVERSION in spec file, will break links, etc. | David Aspinall | |
| 1999-11-30 | Edit spec file to get tar file name right. | David Aspinall | |
| 1999-11-30 | Remove -b option from tag. Probably needs to be done by hand. | David Aspinall | |
| 1999-11-30 | Correct release tags. | David Aspinall | |
| 1999-11-30 | Added -b option to tag. | David Aspinall | |
| 1999-11-30 | Set version tag for new release. | David Aspinall | |
| 1999-11-30 | Added -b option to tag. | David Aspinall | |
| 1999-11-30 | Set version tag for new release. | David Aspinall | |
| 1999-11-30 | Note about pdftexinfo bug. | David Aspinall | |
| 1999-11-30 | Disabled use of macros for URLs, sigh. It breaks pdftexinfo. | David Aspinall | |
| 1999-11-30 | Set version tag for new release. | David Aspinall | |
| 1999-11-30 | Note about dumb tty | David Aspinall | |
| 1999-11-30 | Fixup branch | David Aspinall | |
| 1999-11-30 | Renamed file | David Aspinall | |
| 1999-11-30 | Updated | David Aspinall | |
| 1999-11-30 | Added new screenshots, thumbnails. | David Aspinall | |
| 1999-11-30 | Fix page titles. | David Aspinall | |
| 1999-11-30 | New screenshots | David Aspinall | |
| 1999-11-30 | New screenshots. | David Aspinall | |
| 1999-11-30 | I retain copyright for PG images. | David Aspinall | |
| 1999-11-30 | Typo | David Aspinall | |
| 1999-11-30 | Updated | David Aspinall | |
| 1999-11-30 | Added macros for some URLs. | David Aspinall | |
| 1999-11-30 | Updated | David Aspinall | |
| 1999-11-30 | Added FULLVERSION mechanism, to tag proof-general-release. | David Aspinall | |
| 1999-11-29 | Updated | David Aspinall | |
| 1999-11-29 | Fixed download URL to be homepage. | David Aspinall | |
| 1999-11-29 | Added John's name to the credits | David Aspinall | |
| 1999-11-29 | Set version tag for new release. | David Aspinall | |
| 1999-11-29 | Set version tag for new release. | David Aspinall | |
| 1999-11-29 | Note about duplicated messages. | David Aspinall | |
| 1999-11-29 | Added more notes about using ML files in Isabelle. | David Aspinall | |
| 1999-11-29 | Upcoming fix for 3.1. | David Aspinall | |
| 1999-11-29 | Updated. | David Aspinall | |
| 1999-11-29 | Note about proof_timing in Isabelle | David Aspinall | |
| 1999-11-29 | Updated | David Aspinall | |
| 1999-11-29 | Typo | David Aspinall | |
| 1999-11-29 | Comments about improved handling of urgent message markers, following | David Aspinall | |
| jrl's bug report about duplication of occasional urgent messages. The correct fix is to set proof-shell-eager-annotation-start-length properly. | |||
| 1999-11-29 | Change SML minor mode binding to C-c C-m, avoiding clash with | David Aspinall | |
| proof-interrupt-process. Add commands from proof-universal-keys to menu, and add all of proof-shared-menu. | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |