index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-script.el
Commit message (
Expand
)
Author
Age
*
Modify buffer-invisibility-spec to work smoothly with X-Symbol/Emacs
David Aspinall
2007-12-10
*
Patch for buggy derived.el in XEmacs 21.5.b28
David Aspinall
2007-12-09
*
Comments
David Aspinall
2007-08-19
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
Clean comments around eval-and-compile proof-mode
David Aspinall
2007-04-23
*
Fixed a parenthesis, suggested by Stefan Monnier.
Pierre Courtieu
2007-04-16
*
Changed the type of proof-goal-command-p. It takes now a span, which
Pierre Courtieu
2006-04-26
*
Updated.
David Aspinall
2005-03-21
*
fixed a problem with x-symbol not enables in script buffer
Christophe Raffalli
2004-10-20
*
Add arg to forward-comment for GNU Emacs.
David Aspinall
2004-10-04
*
proof-goto-end-of-locked: add push-mark; fix: goto end of locked even if
David Aspinall
2004-06-03
*
Allow proof-goto-end-of-locked to work again if no active scripting buffer.
David Aspinall
2004-04-26
*
Add proof-shell-require-command-regexp, proof-done-advancing-require-function
David Aspinall
2004-04-24
*
Add proof-deactivate-scripting-hook. Also note activate-script-hook is no lo...
David Aspinall
2004-04-22
*
Clarify that it is right to query saves in proof-retract-until-point's call
David Aspinall
2004-04-17
*
Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...
David Aspinall
2004-04-17
*
Add Index menu.
David Aspinall
2004-04-14
*
Add proof-script-imenu-generic-expression for configuring imenu.
David Aspinall
2004-04-14
*
Space in named entities popup
David Aspinall
2004-04-14
*
Abstract out proof-end-of-locked-visible-p
David Aspinall
2004-04-13
*
Adjust proof-script-comment-end and comment-end to hold empty string for end-...
David Aspinall
2004-04-06
*
Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin...
David Aspinall
2004-04-06
*
Use proof-shell-wait; comments.
David Aspinall
2004-04-02
*
generic-find-and-forget: handle proof-forget-id-command not being set
David Aspinall
2004-03-30
*
Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs)
David Aspinall
2004-03-02
*
Fix buglets shown up by byte compilation.
David Aspinall
2004-03-01
*
Run checkdoc
David Aspinall
2003-10-05
*
Add interactive input setting, and extra flags for action.
David Aspinall
2003-10-05
*
Give text default for hidden proof image.
David Aspinall
2003-06-16
*
Only give hint about C-c C-. if not already visible
David Aspinall
2003-06-08
*
Typo
David Aspinall
2003-06-05
*
Simplify mark-buffer-atomic to just make 'proverproc span.
David Aspinall
2003-06-05
*
By default, do not move pointer on interrupt, only error; tune hints for spans
David Aspinall
2003-06-05
*
proof-strict-read-only: only alter locked span if live (bug fix)
David Aspinall
2003-05-28
*
Buglet in proof-mark-buffer-atomic
David Aspinall
2003-05-20
*
Comments.
David Aspinall
2003-04-05
*
Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...
David Aspinall
2003-03-17
*
More tweaks so that (proof-ass x-symbol-enable) is pervasive.
David Aspinall
2003-03-17
*
Be more polite with handling of invisibility spec
David Aspinall
2003-03-14
*
Fix sticky mode properties for X-Symbol
David Aspinall
2003-03-03
*
Refactor function used for Isar parsing a little.
David Aspinall
2003-03-01
*
Fix some compile errors
David Aspinall
2003-02-24
*
Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta)
David Aspinall
2003-02-22
*
Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or
David Aspinall
2003-02-19
*
Add support for MMM mode
David Aspinall
2003-02-18
*
Refactor proof-config-done for clarity
David Aspinall
2003-02-18
*
Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsing
David Aspinall
2003-02-05
*
Comments
David Aspinall
2002-09-14
*
Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments.
David Aspinall
2002-09-11
*
Improved implementation of zap-commas font lock behaviour, patch from Stefan ...
David Aspinall
2002-08-31
[next]