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
Commit message (
Collapse
)
Author
Age
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
|
*
Add unload utility for development
David Aspinall
2007-08-14
|
*
Set version tag for new release.
David Aspinall
2007-07-04
|
*
Set version tag for new release.
David Aspinall
2007-06-19
|
*
Set version tag for new release.
David Aspinall
2007-06-10
|
*
Set version tag for new release.
David Aspinall
2007-06-08
|
*
Set version tag for new release.
David Aspinall
2007-06-05
|
*
Set version tag for new release.
David Aspinall
2007-05-10
|
*
Note trac generic user pgemacs/pgemacs
David Aspinall
2007-05-10
|
*
Patch for utf-8 test
David Aspinall
2007-05-10
|
*
pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ↵
David Aspinall
2007-05-10
|
|
|
|
messages.
*
Add proof-replace-regexp-nocasefold
David Aspinall
2007-05-10
|
*
Make proof-shell-unicode non-nil by default
David Aspinall
2007-04-30
|
*
Experimenting smarter window creation when in three windows
Pierre Courtieu
2007-04-27
|
|
|
|
mode. Strategy is: always try to split an associated buffer window.
*
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
|
*
Fix links to BUGS and FAQ
David Aspinall
2007-03-19
|
*
Set version tag for new release.
David Aspinall
2007-03-12
|
*
Set version tag for new release.
David Aspinall
2007-03-04
|
*
Set version tag for new release.
David Aspinall
2007-03-03
|
*
Set version tag for new release.
David Aspinall
2007-03-03
|
*
Use replace-regexp instead of proof-replace-regexp to clean chars
David Aspinall
2007-03-03
|
*
Remove proof-indent-pad-eol atrocity
David Aspinall
2007-02-28
|
*
Tweak.
David Aspinall
2007-01-20
|
*
Set version tag for new release.
David Aspinall
2007-01-09
|
*
Set version tag for new release.
David Aspinall
2006-12-20
|
*
Set version tag for new release.
David Aspinall
2006-12-11
|
*
removed obsolete references to 'isa';
Makarius Wenzel
2006-12-07
|
*
proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which ↵
Makarius Wenzel
2006-12-07
|
|
|
|
breaks Poly/MK 5;
*
Set version tag for new release.
David Aspinall
2006-11-07
|
*
Set version tag for new release.
David Aspinall
2006-10-27
|
*
Rationalise testing for different values of window-system, to/and support ↵
David Aspinall
2006-10-27
|
|
|
|
more Emacs ports easily
*
Set version tag for new release.
David Aspinall
2006-09-24
|
*
Tweaks to buffer history mode. Still intermediate version.
David Aspinall
2006-09-24
|
*
Deleted file
David Aspinall
2006-09-24
|
*
Add buffer history browsing
David Aspinall
2006-09-24
|
*
Cut comint input ring, minor efficiency tweak.
David Aspinall
2006-09-22
|
*
Comments.
David Aspinall
2006-09-22
|
*
Set version tag for new release.
David Aspinall
2006-09-22
|
*
Updated.
David Aspinall
2006-09-22
|
*
Set version tag for new release.
David Aspinall
2006-09-12
|
*
Set version tag for new release.
David Aspinall
2006-09-09
|
*
Set version tag for new release.
David Aspinall
2006-09-07
|
*
Making error highlighting more robust (for both emacsen) and use a
Pierre Courtieu
2006-09-06
|
|
|
|
span instead of region.
*
Error highliting in coq now works
Pierre Courtieu
2006-09-05
|
*
Set version tag for new release.
David Aspinall
2006-08-28
|
*
Coq indentation small fixes.
Pierre Courtieu
2006-08-23
|
*
Comments and docstring fixes in lib and generic.
Pierre Courtieu
2006-08-23
|
*
Fixed messages of prover process starting and errors in order to have
Pierre Courtieu
2006-08-16
|
|
|
|
|
prog-args shown. It was confusing for users not to see what arguments was given to the prover.
*
Set version tag for new release.
David Aspinall
2006-05-26
|
[next]