aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* TrivialGravatar David Aspinall2002-07-12
* condition-case -> ignore-errors, comment.Gravatar David Aspinall2002-07-12
* Add definition of font-lock-preprocessor-faceGravatar David Aspinall2002-07-02
* Set version tag for new release.Gravatar David Aspinall2002-07-01
* Use executable-findGravatar David Aspinall2002-07-01
* proof-restart: also remove idiom internal spans.Gravatar David Aspinall2002-07-01
* Fix problem with GNU Emacs support: switch to multibyte in output buffersGravatar David Aspinall2002-07-01
* Fix error catching in proof-deactivate-scripting-auto.Gravatar David Aspinall2002-06-30
* Robustify form GNU EmacsGravatar David Aspinall2002-06-30
* When killing process or scripting buffer, register file if it is complete, ra...Gravatar David Aspinall2002-06-30
* proof-shell-kill-function: deactivate scripting before shutting down proverGravatar David Aspinall2002-06-30
* Require x-symbol-vars as recommended for new version (works with old too?)Gravatar David Aspinall2002-06-24
* Disable fly past comments for old parser again.Gravatar David Aspinall2002-06-24
* Default to using old parser for now.Gravatar David Aspinall2002-06-24
* use-old-parser setting replaces use-new-parser setting [WARNING: big change]Gravatar David Aspinall2002-06-24
* use-old-parser setting replaces use-new-parser setting [WARNING: big change]Gravatar David Aspinall2002-06-24
* Also use our own buffer-syntactic-context in XEmacs 21.4.Gravatar David Aspinall2002-06-24
* GPLGravatar David Aspinall2002-06-21
* Set version tag for new release.Gravatar David Aspinall2002-06-20
* Match FSF C-button3 binding with XEmacs oneGravatar David Aspinall2002-06-19
* Doc improvementsGravatar David Aspinall2002-06-19
* Add proof-shell-last-prompt.Gravatar David Aspinall2002-06-19
* Set version tag for new release.Gravatar David Aspinall2002-06-19
* Remove lift-global function.Gravatar David Aspinall2002-06-18
* Remove global testing and lift-global function; rename proof-nested-goals -> ...Gravatar David Aspinall2002-06-18
* A nil setting of proof-kill-goal-command forces use of proof-find-and-forget ...Gravatar David Aspinall2002-06-13
* DocsGravatar David Aspinall2002-06-13
* Experiment with showing real prover output for aborted proofs.Gravatar David Aspinall2002-06-13
* Second variant of next-span, without doubly nested loopGravatar David Aspinall2002-06-12
* Improve imp of next-spanGravatar David Aspinall2002-06-12
* Make hack for XEmacs 21.4 also work for later versionsGravatar David Aspinall2002-06-12
* Adjust proof-nesting depth, add FIXME notes since not right yetGravatar David Aspinall2002-06-12
* Add nestedundos setting to span, and proof-nested-undo-regexp settingGravatar David Aspinall2002-06-12
* Only match saves for prover that supports nested proofs (restores old behavio...Gravatar David Aspinall2002-06-11
* Improved proof-nesting-depth (not finished yet)Gravatar David Aspinall2002-06-11
* Add proof-nesting-depth, new implementation of span amalgamation in proof-don...Gravatar David Aspinall2002-06-11
* Clean up span.el loading; make compat with bbdb.el in FSFGravatar David Aspinall2002-06-08
* Clean up span.el loadingGravatar David Aspinall2002-06-08
* Robustness fixes/bug notesGravatar David Aspinall2002-06-08
* SpacingGravatar David Aspinall2002-06-08
* Tweak liveness testGravatar David Aspinall2002-06-08
* Alter orderGravatar David Aspinall2002-06-08
* Fix keysym to use FSF syntaxGravatar David Aspinall2002-06-08
* Set version tag for new release.Gravatar David Aspinall2002-06-08
* Set version tag for new release.Gravatar David Aspinall2002-05-03
* Fix X-symbol URLGravatar David Aspinall2002-05-03
* Fix font lock for E21 (I hope)Gravatar David Aspinall2002-05-03
* Try to support next-error key binding for both Emacs versions.Gravatar David Aspinall2002-05-03
* Fix loading order to load Isar before IsaGravatar David Aspinall2002-05-03
* Craftily set experimental fetures on for devel release.Gravatar David Aspinall2002-05-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 19:27:10 +0000