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
...
*
Remove Coq 8.0 code
David Aspinall
2009-09-08
*
Remove some spaces
David Aspinall
2009-09-08
*
Remove more of 80 code
David Aspinall
2009-09-08
*
Updated.
David Aspinall
2009-09-08
*
proof-kill-goal-command: default to nil, not empty string
David Aspinall
2009-09-08
*
Simplify coq-find-and-forget and drop v80 version
David Aspinall
2009-09-08
*
Remove system-specific code as message before goals handled in core now. Alte...
David Aspinall
2009-09-08
*
Comments
David Aspinall
2009-09-08
*
Update, remove proof-shell-abort-goal-regexp
David Aspinall
2009-09-08
*
Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...
David Aspinall
2009-09-08
*
More text about Unicode Tokens
David Aspinall
2009-09-08
*
Comments
David Aspinall
2009-09-08
*
Oops: repair hybrid output broken by two window fix! See trac #109.
David Aspinall
2009-09-08
*
byte-compile-and-load on write is a bit too enthusiastic
David Aspinall
2009-09-08
*
Repair two-window working mode for when Coq doesn't produce hybrid output.
David Aspinall
2009-09-08
*
Clarify require
David Aspinall
2009-09-08
*
Require on scomint
David Aspinall
2009-09-08
*
proof-shell-handle-error-output: renamed, and simplified
David Aspinall
2009-09-08
*
Fix docstrings, remove spurious null
David Aspinall
2009-09-08
*
pg-response-display-with-face: remove update of `proof-shell-last-output'
David Aspinall
2009-09-08
*
Remove use of regexp-opt-depth and clarify doc of
David Aspinall
2009-09-08
*
Remove devel. from testall target
David Aspinall
2009-09-08
*
Remove warnings in batch compile about functions possibly undefined at
David Aspinall
2009-09-08
*
Only show splash message if noninteractive
David Aspinall
2009-09-07
*
Remove load order tweak experiment
David Aspinall
2009-09-07
*
Nuke spurious warning
David Aspinall
2009-09-07
*
Update autoloads
David Aspinall
2009-09-07
*
Fix proof-shell-trace-output-regexp: match on annotation \^AI now too
David Aspinall
2009-09-07
*
Deleted file
David Aspinall
2009-09-07
*
Require unicode-tokens during compile.
David Aspinall
2009-09-07
*
scomint-check-proc: make defsubst
David Aspinall
2009-09-07
*
Attempt to handle splash buffer cleanly.
David Aspinall
2009-09-07
*
Revert change in 10.26 to use defpacustom after all, this gives
David Aspinall
2009-09-07
*
Fix initialisation of isar-use-find-theorems-form in compiled file.
David Aspinall
2009-09-07
*
require proof-site also at startup
David Aspinall
2009-09-07
*
lego-shell-process-output -> lego-shell-classify-output
David Aspinall
2009-09-07
*
Requires processed more often (experiment)
David Aspinall
2009-09-07
*
Fix compiler warnings
David Aspinall
2009-09-07
*
isar-use-find-theorems-form: use defcustom, not defpacustom
David Aspinall
2009-09-07
*
Fix compiler warnings
David Aspinall
2009-09-07
*
Fix compiler warnings.
David Aspinall
2009-09-07
*
Isabelle->isabelle binary. Remove Isar homepage.
David Aspinall
2009-09-07
*
Don't try to compile obsolete twelf Emacs code.
David Aspinall
2009-09-07
*
Update for 4.0 and shorten.
David Aspinall
2009-09-07
*
(C) date
David Aspinall
2009-09-07
*
Fix compile warnings and ensure compiled code behaves as expected.
David Aspinall
2009-09-07
*
Fix compile warning, rearrange docs
David Aspinall
2009-09-07
*
Require cl for compilation. Rearrange docs.
David Aspinall
2009-09-07
*
Attempt byte compilation only for emacs lisp!
David Aspinall
2009-09-07
*
isar-preprocessing: remove unnecessary save-match-data.
David Aspinall
2009-09-07
[prev]
[next]