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
*
Add proof state hover messages to proof script, along with useful customization.
David Aspinall
2009-05-26
*
Set version tag for new release.
David Aspinall
2009-05-26
*
proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obey
David Aspinall
2009-05-26
*
Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...
David Aspinall
2009-05-26
*
Add proof-electric-terminator-noterminator behaviour for Isar
David Aspinall
2009-05-26
*
Revive sendback behaviour (using button1)
David Aspinall
2009-05-26
*
Set default value for `buffer-invisibility-spec'
David Aspinall
2009-05-25
*
Set version tag for new release.
David Aspinall
2009-04-16
*
recovered proof-shell-process-urgent-message, by re-introducing commented-out...
Makarius Wenzel
2009-03-31
*
Set version tag for new release.
David Aspinall
2008-12-05
*
Set version tag for new release.
David Aspinall
2008-09-19
*
Comment
David Aspinall
2008-08-06
*
Fix type in calls to toggle functions
David Aspinall
2008-08-03
*
Disable subterm markup removal
David Aspinall
2008-08-03
*
pg-response-display: disable subterm markup removal
David Aspinall
2008-08-03
*
Add links to splash menu
David Aspinall
2008-08-03
*
Make proof-locked-face much lighter
David Aspinall
2008-08-03
*
Change for locked face colour
David Aspinall
2008-08-03
*
Fix for deferred loading of maths menu.
David Aspinall
2008-07-24
*
Fix for deferred loading of maths menu and unicode tokens.
David Aspinall
2008-07-24
*
Add back lost provide
David Aspinall
2008-07-24
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Set version tag for new release.
David Aspinall
2008-07-24
*
Load proof-autoloads earlier
David Aspinall
2008-07-24
*
Set version tag for new release.
David Aspinall
2008-07-23
*
Set version tag for new release.
David Aspinall
2008-07-22
*
proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,
David Aspinall
2008-07-21
*
Changed the main menu of coq. Changed a shortcut for holes.
Pierre Courtieu
2008-07-21
*
Default proof-allow-undo-in-read-only to t
David Aspinall
2008-07-21
*
Set version tag for new release.
David Aspinall
2008-07-19
*
Set version tag for new release.
David Aspinall
2008-07-17
*
Remove mention of unicode-tokens2
David Aspinall
2008-07-16
*
Deleted file
David Aspinall
2008-07-16
*
Set version tag for new release.
David Aspinall
2008-07-12
*
Updated.
David Aspinall
2008-07-12
*
Disable Unicode Tokens 2
David Aspinall
2008-07-10
*
Documentation.
David Aspinall
2008-07-10
*
Set version tag for new release.
David Aspinall
2008-07-10
*
Minimal patch for Sledgehammer problem with Isabelle.
David Aspinall
2008-07-10
*
Reverse 8.28, buffer-substring-no-properties -> buffer-substring.
David Aspinall
2008-07-10
*
Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...
David Aspinall
2008-07-09
*
Set version tag for new release.
David Aspinall
2008-07-08
*
Set version tag for new release.
David Aspinall
2008-07-07
*
Set version tag for new release.
David Aspinall
2008-07-06
*
Set version tag for new release.
David Aspinall
2008-07-05
*
Clarify unimplemented settings
David Aspinall
2008-07-05
*
Add use-holes setting.
David Aspinall
2008-07-05
*
Revert cursor hide in goals and response to avoid user confusion; use bar cur...
David Aspinall
2008-07-05
*
TEMPORARY: add unicode-tokens2 mechanism to test across different machines
David Aspinall
2008-07-05
*
Set version tag for new release.
David Aspinall
2008-05-26
[next]