index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Times -> Times New Roman, seems to have better substitution behaviour
David Aspinall
2009-09-13
*
Update temp list
David Aspinall
2009-09-11
*
Fix docs
David Aspinall
2009-09-11
*
Make quiet by default. Improve docs.
David Aspinall
2009-09-11
*
Our own buffer for debug messages
David Aspinall
2009-09-11
*
Add Read-Only sub menu
David Aspinall
2009-09-11
*
Elaborate on new settings
David Aspinall
2009-09-11
*
Bug in \\<diamond> token
David Aspinall
2009-09-11
*
Default to disabling minibuffer messages
David Aspinall
2009-09-10
*
Disable debug message in Isar
David Aspinall
2009-09-10
*
Disable process-adaptive-read-buffering: massive slow down for short
David Aspinall
2009-09-10
*
Move stripping and minibuffer-message function here
David Aspinall
2009-09-10
*
Typo in var name: fixes toggling of use-linear-undo.
David Aspinall
2009-09-10
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Move (require 'local-vars-list) to coq-local-vars
David Aspinall
2009-09-10
*
Move (require 'local-vars-list) from coq.el
David Aspinall
2009-09-10
*
Missing requires
David Aspinall
2009-09-10
*
Set right font-lock-keywords
David Aspinall
2009-09-10
*
Tweaks
David Aspinall
2009-09-10
*
Updated
David Aspinall
2009-09-10
*
proof-retract-until-point: protect against finding no span at all
David Aspinall
2009-09-10
*
Add back font-lock setting for shell (can turn on/off inside).
David Aspinall
2009-09-10
*
Coq test
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Some fixes to requires etc
David Aspinall
2009-09-10
*
Clean compile and update config
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Fix compilation for Coq, including requires and some old/renamed settings.
David Aspinall
2009-09-10
*
Move defpacustom here. Move message functions to proof-shell. Fix requires.
David Aspinall
2009-09-10
*
Add proof-minibuffer-messages. Move defpacustom->proof-utils and
David Aspinall
2009-09-10
*
Add `proof-minibuffer-messages'
David Aspinall
2009-09-10
*
Prevent font-lock in shell by altering font-lock-global-modes locally
David Aspinall
2009-09-09
*
pg-last-output-displayform: strip trailing CR as well as initial one,
David Aspinall
2009-09-09
*
Delete the pghelp spans for now, after all.
David Aspinall
2009-09-09
*
*** empty log message ***
David Aspinall
2009-09-09
*
*** empty log message ***
David Aspinall
2009-09-09
*
Support linear_undo. Add minimal font-lock for readability in *isabelle*.
David Aspinall
2009-09-09
*
proof-script-clear-queue-spans: scan less of buffer
David Aspinall
2009-09-09
*
Add proof-shell-font-lock-keywords, proof-arbitrary-undo-positions
David Aspinall
2009-09-09
*
Clear shell buffer contents on restart.
David Aspinall
2009-09-09
*
Add proof-re-search-forward-safe
David Aspinall
2009-09-09
*
p-s-classify-output -> p-s-handle-output, and simplify system-specific hook
David Aspinall
2009-09-09
*
Add proof-script-error-face
David Aspinall
2009-09-09
*
Add compatilibity for declare-function in Emacs 22.1
David Aspinall
2009-09-09
*
proof-shell-error-or-interrupt-seen -> proof-shell-last-error-kind,
David Aspinall
2009-09-09
*
Simplify output processing; delay some goals/response classification
David Aspinall
2009-09-09
*
proof-shell-quiet-errors: move to user opts custom group
David Aspinall
2009-09-09
*
Cleanup toolbar-toggle and bind to C-c b, fix binding C-c v.
David Aspinall
2009-09-09
*
proof-toolbar-setup: redraw-display
David Aspinall
2009-09-09
[next]