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