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 (
Expand
)
Author
Age
...
*
fix #426
Hendrik Tews
2011-09-27
*
Set version tag for new release.
David Aspinall
2011-09-19
*
proof-full-annotation: default to nil
David Aspinall
2011-09-18
*
Set version tag for new release.
David Aspinall
2011-09-16
*
fix #421 with solution 1
Hendrik Tews
2011-09-14
*
proof-electric-terminator: allow a prefix argument to avoid electric action.
David Aspinall
2011-09-14
*
# User Robin Green <greenrd@greenrd.org>
David Aspinall
2011-09-14
*
Fix typo
David Aspinall
2011-09-14
*
Remove contentious call to set-process-query-on-exit-flag, ref Trac#424
David Aspinall
2011-09-14
*
Fix proof-shell-exit optional argument with (interactive) thanks to
Pierre Courtieu
2011-09-11
*
Capitalize menu items
David Aspinall
2011-08-24
*
Set version tag for new release.
David Aspinall
2011-08-24
*
Remove PG prefix from toolbar button names (needed for disambiguity in older ...
David Aspinall
2011-08-23
*
Set version tag for new release.
David Aspinall
2011-08-23
*
Set version tag for new release.
David Aspinall
2011-06-22
*
Set version tag for new release.
David Aspinall
2011-06-22
*
Set version tag for new release.
David Aspinall
2011-06-10
*
Set version tag for new release.
David Aspinall
2011-06-10
*
Set version tag for new release.
David Aspinall
2011-06-09
*
Add autoload.
David Aspinall
2011-06-09
*
- fix for #408: Only use the buffer name in
Hendrik Tews
2011-06-08
*
Set version tag for new release.
David Aspinall
2011-06-07
*
proof-undo-and-delete-last-successful-command: obey spec (Trac #407)
David Aspinall
2011-06-03
*
Set version tag for new release.
David Aspinall
2011-06-01
*
Set version tag for new release.
David Aspinall
2011-05-30
*
Trac#403: wait for retraction to complete before returning, to
David Aspinall
2011-05-30
*
ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404
David Aspinall
2011-05-27
*
Set version tag for new release.
David Aspinall
2011-05-27
*
proof-retract-before-change: fix Trac #403 (at least partially) by
David Aspinall
2011-05-26
*
Set version tag for new release.
David Aspinall
2011-05-16
*
Update autogenerated files
David Aspinall
2011-05-16
*
Patch for Trac#400.
David Aspinall
2011-05-16
*
Clean up customization groups for defpacustom and defpgcustom. See http://li...
David Aspinall
2011-05-16
*
Set version tag for new release.
David Aspinall
2011-05-12
*
Update autoloads
David Aspinall
2011-05-12
*
Tweak for `proof-segment-up-to-using-cache': better handling of
David Aspinall
2011-05-12
*
Attempted fix for `proof-segment-up-to-using-cache', re
David Aspinall
2011-05-12
*
- add ".vo", ".glob" to completion-ignored-extensions when Proof
Hendrik Tews
2011-05-12
*
Version year
David Aspinall
2011-05-06
*
Set version tag for new release.
David Aspinall
2011-05-05
*
- flushed proof-done-advancing-require-function and
Hendrik Tews
2011-05-05
*
Set version tag for new release.
David Aspinall
2011-04-26
*
Fix for Trac #397. Needs some exercise.
David Aspinall
2011-04-26
*
* small doc fix
Hendrik Tews
2011-04-19
*
* fix overwriting setq coq-prog-name before loading Proof General
Hendrik Tews
2011-04-15
*
proof-shell-insert-hook: Clean docstring, addressing #396.
David Aspinall
2011-04-13
*
Add proof-output-tooltips option to turn off output highlighting for people w...
David Aspinall
2011-04-13
*
- change to proof-restart-buffers for unlocking ancestors
Hendrik Tews
2011-03-14
*
Set version tag for new release.
David Aspinall
2011-03-09
*
Set version tag for new release.
David Aspinall
2011-02-23
[prev]
[next]