Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update magic, move version history to appendix. | 2002-07-18 | |
| | |||
* | Add links to Emacs manuals. | 2002-07-18 | |
| | |||
* | Fix link to ETI | 2002-07-18 | |
| | |||
* | Update towards 3.4 | 2002-07-18 | |
| | |||
* | Mention known probs in prerel | 2002-07-18 | |
| | |||
* | Add note about proof-generic-state-preserving-p | 2002-07-17 | |
| | |||
* | Improve feature list. | 2002-07-17 | |
| | |||
* | Updated. | 2002-07-17 | |
| | |||
* | Set version tag for new release. | 2002-07-17 | |
| | |||
* | Updates | 2002-07-17 | |
| | |||
* | Mention term highlighting | 2002-07-17 | |
| | |||
* | Support subterm help facility (not quite working) | 2002-07-17 | |
| | |||
* | Support subterm help facility | 2002-07-17 | |
| | |||
* | Update versions/TODO | 2002-07-17 | |
| | |||
* | Added subterm help popup facility | 2002-07-17 | |
| | |||
* | Add span-string. | 2002-07-17 | |
| | |||
* | Add proof-shell-invisible-cmd-get-result | 2002-07-17 | |
| | |||
* | Add pg-subterm-help-cmd | 2002-07-17 | |
| | |||
* | Cleanups | 2002-07-17 | |
| | |||
* | Fix span-string, span-object | 2002-07-17 | |
| | |||
* | Refactor several variable names; clean up, doc subterm markup and output ↵ | 2002-07-16 | |
| | | | | display. | ||
* | Fix typo. | 2002-07-16 | |
| | |||
* | Add conversion of idmarkup to subterm | 2002-07-16 | |
| | |||
* | Updated. | 2002-07-16 | |
| | |||
* | Add { and } example | 2002-07-16 | |
| | |||
* | Fix crucial typo | 2002-07-16 | |
| | |||
* | Updated. | 2002-07-16 | |
| | |||
* | Make tags for both manuals. | 2002-07-16 | |
| | |||
* | Tweak link creation/deletion | 2002-07-16 | |
| | |||
* | Minor | 2002-07-16 | |
| | |||
* | Updated | 2002-07-16 | |
| | |||
* | Updated. | 2002-07-16 | |
| | |||
* | Buggy tag | 2002-07-16 | |
| | |||
* | Fix monospace typeface name | 2002-07-16 | |
| | |||
* | Add more nags | 2002-07-16 | |
| | |||
* | Edit for brevity | 2002-07-16 | |
| | |||
* | Use linked style sheet, add charset metatag. | 2002-07-16 | |
| | |||
* | Dodgy patch to fix selection ordering of overlays. PBP works in Emacs now. | 2002-07-16 | |
| | |||
* | Patch so works without x-symbol | 2002-07-16 | |
| | |||
* | Set version tag for new release. | 2002-07-16 | |
| | |||
* | Link in LATESTNAME | 2002-07-16 | |
| | |||
* | Fix comment | 2002-07-16 | |
| | |||
* | Refactoring | 2002-07-16 | |
| | |||
* | Comments | 2002-07-16 | |
| | |||
* | Revert some premature changes in x-sym support | 2002-07-16 | |
| | |||
* | Merge patches from Christoph, and add Isabelle/Isar capabilities | 2002-07-16 | |
| | |||
* | Add char-to-int and friends, borrowed from x-symbol-emacs. | 2002-07-16 | |
| | |||
* | Cleaning up PBP code | 2002-07-16 | |
| | |||
* | Example of using pbp | 2002-07-16 | |
| | |||
* | Set version tag for new release. | 2002-07-15 | |
| |