index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
Add some examples of longer subscripts
David Aspinall
2009-12-01
|
*
proof-splice-separator -> mapconcat builtin
David Aspinall
2009-12-01
|
*
Update
David Aspinall
2009-12-01
|
*
Add test case
David Aspinall
2009-12-01
|
*
isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching inside
David Aspinall
2009-12-01
|
|
|
|
|
|
\< \>) appears to work on Emacs 22, hopefully repairing http://proofgeneral.inf.ed.ac.uk/trac/ticket/300. Also replace proof-splice-separator -> mapconcat builtin.
*
Add keywords for possible benefit of finder package.
David Aspinall
2009-12-01
|
*
proof-ids-to-regexp: use regexp-opt, this seems reliable now.
David Aspinall
2009-12-01
|
*
Explain fontsets for Emacs 22
David Aspinall
2009-12-01
|
*
Clean
David Aspinall
2009-12-01
|
*
typo
David Aspinall
2009-12-01
|
*
fix proof-splice-separator
David Aspinall
2009-12-01
|
*
Add some more examples and syntax declarations to actually
David Aspinall
2009-12-01
|
|
|
|
process the file.
*
isar-control-char-format-regexp: prevent subsequent control chars being captured
David Aspinall
2009-12-01
|
*
Fix for Trac #307.
David Aspinall
2009-11-30
|
*
Replace proof-locked-end -> proof-unprocessed-begin
David Aspinall
2009-11-30
|
*
even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a ↵
Makarius Wenzel
2009-11-30
|
|
|
|
*fast* machine;
*
Updates to internal function docs
David Aspinall
2009-11-29
|
*
Update menu paths and faces.
David Aspinall
2009-11-29
|
*
pg-pbrpm-run-command: use proof-insert-pbp-command
David Aspinall
2009-11-29
|
*
raised proof-shell-quit-timeout to accomodate bulky write-back images;
Makarius Wenzel
2009-11-29
|
*
isabelle-set-prog-name: more robust treatment of spaces in arguments;
Makarius Wenzel
2009-11-28
|
*
*** empty log message ***
David Aspinall
2009-11-28
|
*
Add new option `proof-sticky-errors'.
David Aspinall
2009-11-28
|
*
Remove doc mention of obsolete function `pg-assoc-analyse-structure'.
David Aspinall
2009-11-28
|
*
Add `proof-script-sticky-error-face' and `proof-script-highlight-error-face'.
David Aspinall
2009-11-28
|
*
Add `proof-script-sticky-error-face' and `proof-sticky-errors' setting.
David Aspinall
2009-11-28
|
*
additional menu entries;
Makarius Wenzel
2009-11-26
|
*
reverse settings within each group, to prevent upside-down presentation;
Makarius Wenzel
2009-11-24
|
*
define isar-pr as load-time constant;
Makarius Wenzel
2009-11-24
|
*
Use ProofGeneral.pr if available. See Trac #292.
David Aspinall
2009-11-23
|
*
tvar font-lock: allow more than one ? (as in inference parameter ??'a);
Makarius Wenzel
2009-11-21
|
*
more robust THIS/SUPER: allow spaces;
Makarius Wenzel
2009-11-21
|
|
|
|
|
modernized usage, eliminated obsolete options -I, -P, -X, -f; re-interpreted option -x as "unicode symbols";
*
Small Fix (again).
Pierre Courtieu
2009-11-20
|
*
Small Fix.
Pierre Courtieu
2009-11-20
|
*
Set version tag for new release.
David Aspinall
2009-11-12
|
*
Fix.
Pierre Courtieu
2009-11-11
|
*
fix
Pierre Courtieu
2009-11-10
|
*
Fixing insertion case for c-c c-a c-i + cleaning.
Pierre Courtieu
2009-11-10
|
*
menu items for atp_info, atp_kill;
Makarius Wenzel
2009-10-21
|
*
disable indent-tabs-mode for theory mode;
Makarius Wenzel
2009-10-17
|
*
Mention bugs with Coq script management.
David Aspinall
2009-10-16
|
*
Set version tag for new release.
David Aspinall
2009-10-16
|
*
Add pointer
David Aspinall
2009-10-16
|
*
*** empty log message ***
David Aspinall
2009-10-16
|
*
Patch from mattmccutchen, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/297
David Aspinall
2009-10-16
|
*
proof-script-use-old-parser: remove configuration option and cleanup
David Aspinall
2009-10-15
|
*
Updated
David Aspinall
2009-10-15
|
*
Keep response and trace buffer read-only, except when changing
David Aspinall
2009-10-15
|
*
proof-script-error-face: remove underline
David Aspinall
2009-10-15
|
*
Added keyboard shortcut in goals buffer.
Pierre Courtieu
2009-10-15
|
[next]