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
...
*
Rename lockedend -> home
David Aspinall
2009-08-07
*
proof-colour-locked: complete implementation
David Aspinall
2009-08-07
*
rename: proof-full-decoration -> proof-full-annotation
David Aspinall
2009-08-07
*
rename: proof-full-decoration -> proof-full-annotation
David Aspinall
2009-08-07
*
Name changes and tweaks: proof-full-decoration -> proof-full-decoration,
David Aspinall
2009-08-07
*
Prevent setting of proof-overlay-arrow if not configured
David Aspinall
2009-08-06
*
New configuration variable proof-use-pgip-askprefs. Use setting group names ...
David Aspinall
2009-08-06
*
Add overlay arrow ported from Kit.
David Aspinall
2009-07-30
*
Add proof-colour-locked option to leave locked region background uncoloured.
David Aspinall
2009-07-30
*
Update autoloads
David Aspinall
2009-07-30
*
Use descriptions of help items to set menu tooltips (resolve trac #218)
David Aspinall
2009-07-30
*
Cleanup more Emacs compatibility
David Aspinall
2009-05-27
*
Check unicode-tokens-mode is bound
David Aspinall
2009-05-27
*
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
[prev]
[next]