aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-07-18Mention experimental natureDavid Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-18Update magicDavid Aspinall
2002-07-18Update magic, move version history to appendix.David Aspinall
2002-07-18Add links to Emacs manuals.David Aspinall
2002-07-18Fix link to ETIDavid Aspinall
2002-07-18Update towards 3.4David Aspinall
2002-07-18Mention known probs in prerelDavid Aspinall
2002-07-17Add note about proof-generic-state-preserving-pDavid Aspinall
2002-07-17Improve feature list.David Aspinall
2002-07-17Updated.David Aspinall
2002-07-17Set version tag for new release.David Aspinall
2002-07-17UpdatesDavid Aspinall
2002-07-17Mention term highlightingDavid Aspinall
2002-07-17Support subterm help facility (not quite working)David Aspinall
2002-07-17Support subterm help facilityDavid Aspinall
2002-07-17Update versions/TODODavid Aspinall
2002-07-17Added subterm help popup facilityDavid Aspinall
2002-07-17Add span-string.David Aspinall
2002-07-17Add proof-shell-invisible-cmd-get-resultDavid Aspinall
2002-07-17Add pg-subterm-help-cmdDavid Aspinall
2002-07-17CleanupsDavid Aspinall
2002-07-17Fix span-string, span-objectDavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16Fix typo.David Aspinall
2002-07-16Add conversion of idmarkup to subtermDavid Aspinall
2002-07-16Updated.David Aspinall
2002-07-16Add { and } exampleDavid Aspinall
2002-07-16Fix crucial typoDavid Aspinall
2002-07-16Updated.David Aspinall
2002-07-16Make tags for both manuals.David Aspinall
2002-07-16Tweak link creation/deletionDavid Aspinall
2002-07-16MinorDavid Aspinall
2002-07-16UpdatedDavid Aspinall
2002-07-16Updated.David Aspinall
2002-07-16Buggy tagDavid Aspinall
2002-07-16Fix monospace typeface nameDavid Aspinall
2002-07-16Add more nagsDavid Aspinall
2002-07-16Edit for brevityDavid Aspinall
2002-07-16Use linked style sheet, add charset metatag.David Aspinall
2002-07-16Dodgy patch to fix selection ordering of overlays. PBP works in Emacs now.David Aspinall
2002-07-16Patch so works without x-symbolDavid Aspinall
2002-07-16Set version tag for new release.David Aspinall
2002-07-16Link in LATESTNAMEDavid Aspinall
2002-07-16Fix commentDavid Aspinall
2002-07-16RefactoringDavid Aspinall
2002-07-16CommentsDavid Aspinall
2002-07-16Revert some premature changes in x-sym supportDavid Aspinall
2002-07-16Merge patches from Christoph, and add Isabelle/Isar capabilitiesDavid Aspinall
2002-07-16Add char-to-int and friends, borrowed from x-symbol-emacs.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 08:31:10 +0000