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