aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-07-18More comments on current bugsDavid Aspinall
2002-07-18New files.David Aspinall
2002-07-18Fix goals font lock keywords.David Aspinall
2002-07-18CleanupsDavid Aspinall
2002-07-18More on keybindings: include old x-symbol-isabelle bindings but using super.David Aspinall
2002-07-18Updated.David Aspinall
2002-07-18UpdateDavid Aspinall
2002-07-18Link to span.el tooDavid Aspinall
2002-07-18TrivDavid Aspinall
2002-07-18Remove completion table adjustment fixed in X-Symol since Jun 01.David Aspinall
2002-07-18Fix sub/sups; defer loading x-symbol-isabelle.David Aspinall
2002-07-18Add my name to theseDavid Aspinall
2002-07-18Updated.David Aspinall
2002-07-18Try to fix latest linkDavid Aspinall
2002-07-18fix README rename.David Aspinall
2002-07-18Updated.David Aspinall
2002-07-18Set version tag for new release.David Aspinall
2002-07-18Rename READMEs for different provers so dont clash with doc directive.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 19:14:59 +0000