aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2002-07-19Make favourites mechanism more robust; add delete command.David Aspinall
2002-07-19Trivially simulate events-to-keysDavid 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-18Fix bug in proof-zap-commas-region (which is anyway faulty)David Aspinall
2002-07-18Remove obsolete functionDavid Aspinall
2002-07-18CommentsDavid Aspinall
2002-07-18Remove completion table adjustment fixed in X-Symol since Jun 01.David Aspinall
2002-07-18Add my name to theseDavid Aspinall
2002-07-18Set version tag for new release.David Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-17Add note about proof-generic-state-preserving-pDavid Aspinall
2002-07-17Set version tag for new release.David 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-16Dodgy patch to fix selection ordering of overlays. PBP works in Emacs now.David Aspinall
2002-07-16Set version tag for new release.David Aspinall
2002-07-16Fix commentDavid Aspinall
2002-07-16RefactoringDavid Aspinall
2002-07-16CommentsDavid Aspinall
2002-07-16Add char-to-int and friends, borrowed from x-symbol-emacs.David Aspinall
2002-07-16Cleaning up PBP codeDavid Aspinall
2002-07-15Set version tag for new release.David Aspinall
2002-07-14Set version tag for new release.David Aspinall
2002-07-12TrivialDavid Aspinall
2002-07-12condition-case -> ignore-errors, comment.David Aspinall
2002-07-02Add definition of font-lock-preprocessor-faceDavid Aspinall
2002-07-01Set version tag for new release.David Aspinall
2002-07-01Use executable-findDavid Aspinall
2002-07-01proof-restart: also remove idiom internal spans.David Aspinall
2002-07-01Fix problem with GNU Emacs support: switch to multibyte in output buffersDavid Aspinall
2002-06-30Fix error catching in proof-deactivate-scripting-auto.David Aspinall
2002-06-30Robustify form GNU EmacsDavid Aspinall
2002-06-30When killing process or scripting buffer, register file if it is complete, ra...David Aspinall
2002-06-30proof-shell-kill-function: deactivate scripting before shutting down proverDavid Aspinall
2002-06-24Require x-symbol-vars as recommended for new version (works with old too?)David Aspinall
2002-06-24Disable fly past comments for old parser again.David Aspinall
2002-06-24Default to using old parser for now.David Aspinall
2002-06-24use-old-parser setting replaces use-new-parser setting [WARNING: big change]David Aspinall
2002-06-24use-old-parser setting replaces use-new-parser setting [WARNING: big change]David Aspinall
2002-06-24Also use our own buffer-syntactic-context in XEmacs 21.4.David Aspinall
2002-06-21GPLDavid Aspinall
2002-06-20Set version tag for new release.David Aspinall
2002-06-19Match FSF C-button3 binding with XEmacs oneDavid Aspinall
2002-06-19Doc improvementsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 10:54:07 +0000