aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-script.el
AgeCommit message (Expand)Author
2003-06-05TypoDavid Aspinall
2003-06-05Simplify mark-buffer-atomic to just make 'proverproc span.David Aspinall
2003-06-05By default, do not move pointer on interrupt, only error; tune hints for spansDavid Aspinall
2003-05-28proof-strict-read-only: only alter locked span if live (bug fix)David Aspinall
2003-05-20Buglet in proof-mark-buffer-atomicDavid Aspinall
2003-04-05Comments.David Aspinall
2003-03-17Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...David Aspinall
2003-03-17More tweaks so that (proof-ass x-symbol-enable) is pervasive.David Aspinall
2003-03-14Be more polite with handling of invisibility specDavid Aspinall
2003-03-03Fix sticky mode properties for X-SymbolDavid Aspinall
2003-03-01Refactor function used for Isar parsing a little.David Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2003-02-22Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta)David Aspinall
2003-02-19Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orDavid Aspinall
2003-02-18Add support for MMM modeDavid Aspinall
2003-02-18Refactor proof-config-done for clarityDavid Aspinall
2003-02-05Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsingDavid Aspinall
2002-09-14CommentsDavid Aspinall
2002-09-11Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments.David Aspinall
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ...David Aspinall
2002-08-31CommentsDavid Aspinall
2002-08-30Patch from Stefan Monnier for using nested-comment aware parser on GNU Emacs.David Aspinall
2002-08-29Imenu addition, layout fixes, from Stefan MonnierDavid Aspinall
2002-08-28checkdoc induced docstring tweaks.David Aspinall
2002-08-28Make font-lock-keywords buffer local for sake of Emacs 21.2.David Aspinall
2002-08-09DocDavid Aspinall
2002-08-09Fix proof-disappearing-proofs; commentsDavid Aspinall
2002-08-09Refactor proof-done-advancing by abstracting out new functions; fixes for aut...David Aspinall
2002-08-08Generalise proof elements to include comments, show/hiding of comments.David Aspinall
2002-08-08Prevent proof spans being duplicated.David Aspinall
2002-08-08Use glyph for hidden proofs; add open isearch props; tweak element handling fns.David Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-17Add note about proof-generic-state-preserving-pDavid Aspinall
2002-07-17CleanupsDavid Aspinall
2002-07-12condition-case -> ignore-errors, comment.David Aspinall
2002-07-01proof-restart: also remove idiom internal spans.David Aspinall
2002-06-30Fix error catching in proof-deactivate-scripting-auto.David Aspinall
2002-06-30When killing process or scripting buffer, register file if it is complete, ra...David Aspinall
2002-06-24use-old-parser setting replaces use-new-parser setting [WARNING: big change]David Aspinall
2002-06-21GPLDavid Aspinall
2002-06-18Remove lift-global function.David Aspinall
2002-06-18Remove global testing and lift-global function; rename proof-nested-goals -> ...David Aspinall
2002-06-13A nil setting of proof-kill-goal-command forces use of proof-find-and-forget ...David 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 behavio...David Aspinall
2002-06-11Improved proof-nesting-depth (not finished yet)David Aspinall
2002-06-11Add proof-nesting-depth, new implementation of span amalgamation in proof-don...David Aspinall
2002-06-08Robustness fixes/bug notesDavid Aspinall
2002-03-21Dont set type property for proof elements (experiment). Tweak name determina...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:17:36 +0000