aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-07-18UpdateDavid Aspinall
2002-07-18Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.David Aspinall
2002-07-18Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.David Aspinall
2002-07-18Updated.David Aspinall
2002-07-18Fix bug in proof-zap-commas-region (which is anyway faulty)David Aspinall
2002-07-18Record bug as solved.David Aspinall
2002-07-18New files.David Aspinall
2002-07-18Mention how to enable X-Symbol.David Aspinall
2002-07-18Add FAQ about enabling X-Symbol.David Aspinall
2002-07-18Nuke X-sym warningsDavid Aspinall
2002-07-18Remove obsolete functionDavid Aspinall
2002-07-18More testsDavid Aspinall
2002-07-18Use x-symbol-enable switch to see whether to include sub/super/bold flks.David Aspinall
2002-07-18CommentsDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 11:31:15 +0000