aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
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, ↵David Aspinall
rather than always retracting.
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
2002-06-19Add proof-shell-last-prompt.David Aspinall
2002-06-19Set version tag for new release.David Aspinall
2002-06-18Remove lift-global function.David Aspinall
2002-06-18Remove global testing and lift-global function; rename proof-nested-goals -> ↵David Aspinall
proof-nested-goals-history.
2002-06-13A nil setting of proof-kill-goal-command forces use of proof-find-and-forget ↵David Aspinall
for all retraction.
2002-06-13DocsDavid Aspinall
2002-06-13Experiment with showing real prover output for aborted proofs.David Aspinall
2002-06-12Second variant of next-span, without doubly nested loopDavid Aspinall
2002-06-12Improve imp of next-spanDavid Aspinall
2002-06-12Make hack for XEmacs 21.4 also work for later versionsDavid Aspinall
2002-06-12Adjust proof-nesting depth, add FIXME notes since not right yetDavid Aspinall
2002-06-12Add nestedundos setting to span, and proof-nested-undo-regexp settingDavid Aspinall
2002-06-11Only match saves for prover that supports nested proofs (restores old ↵David Aspinall
behaviour for Isar). Isar goal/save regexps dont match up properly.
2002-06-11Improved proof-nesting-depth (not finished yet)David Aspinall
2002-06-11Add proof-nesting-depth, new implementation of span amalgamation in ↵David Aspinall
proof-done-advancing.
2002-06-08Clean up span.el loading; make compat with bbdb.el in FSFDavid Aspinall
2002-06-08Clean up span.el loadingDavid Aspinall
2002-06-08Robustness fixes/bug notesDavid Aspinall
2002-06-08SpacingDavid Aspinall
2002-06-08Tweak liveness testDavid Aspinall
2002-06-08Alter orderDavid Aspinall
2002-06-08Fix keysym to use FSF syntaxDavid Aspinall
2002-06-08Set version tag for new release.David Aspinall
2002-05-03Set version tag for new release.David Aspinall
2002-05-03Fix X-symbol URLDavid Aspinall
2002-05-03Fix font lock for E21 (I hope)David Aspinall
2002-05-03Try to support next-error key binding for both Emacs versions.David Aspinall
2002-05-03Fix loading order to load Isar before IsaDavid Aspinall
2002-05-03Craftily set experimental fetures on for devel release.David Aspinall
2002-05-03Began adding generic line-width adjustDavid Aspinall
2002-04-23Set version tag for new release.David Aspinall
2002-03-22Set version tag for new release.David Aspinall
2002-03-21Set version tag for new release.David Aspinall
2002-03-21Year changesDavid Aspinall
2002-03-21Remove toolbar gutters in multiple frame mode. Add ↵David Aspinall
proof-shell-truncate-before-error setting.
2002-03-21Dont set type property for proof elements (experiment). Tweak name ↵David Aspinall
determination/reporting. Provide generic implementation of find-and-forget. Dont warn about some unnecessary settings
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 13:30:48 +0000