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
*
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
*
Set version tag for new release.
David Aspinall
2008-02-17
*
Symmetric change for #201
David Aspinall
2008-02-17
*
Comments.
David Aspinall
2008-02-17
*
Fix clash with X-Symbol resulting in enabling then disabling symbols
David Aspinall
2008-02-17
*
unicode-tokens: Experimental multiple font support
David Aspinall
2008-02-17
*
Unicode tokens: support face changing via 'font-lock-face'
David Aspinall
2008-02-09
*
Set version tag for new release.
David Aspinall
2008-02-06
[next]