aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-07-18Fix typoDavid Aspinall
2002-07-18Use short cut links for manual, and remove 3.3 from doc links.David Aspinall
2002-07-18hack_html: Make internal links use short-cut url if givenDavid Aspinall
2002-07-18New files.David Aspinall
2002-07-18Link to standalone compsDavid Aspinall
2002-07-18Link to latest version for manualsDavid Aspinall
2002-07-18Add links for TeXinfo and docstringsDavid Aspinall
2002-07-18New files.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 20:11:53 +0000