index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
Updated.
David Aspinall
2003-05-28
|
*
Add Gerwin and Stefan canonical emails to ChangeLog generation
David Aspinall
2003-05-28
|
*
proof-strict-read-only: only alter locked span if live (bug fix)
David Aspinall
2003-05-28
|
*
Updated.
David Aspinall
2003-05-24
|
*
Set version tag for new release.
David Aspinall
2003-05-24
|
*
Rotate buffers display can display next buffer
David Aspinall
2003-05-24
|
*
Include next buffer in hint for rotate buffers
David Aspinall
2003-05-24
|
*
Revert to displaying empty buffer for sake of pr in Isar
David Aspinall
2003-05-24
|
*
Updated.
David Aspinall
2003-05-24
|
*
Add hint triggered when processing complete
David Aspinall
2003-05-24
|
*
Switch order of buffers displayed by C-c C-l. Add hint.
David Aspinall
2003-05-24
|
*
Tweak to shrink-to-fit
David Aspinall
2003-05-24
|
*
Added hint mechanism
David Aspinall
2003-05-24
|
*
Do not display empty responses
David Aspinall
2003-05-24
|
*
Add pg-show-hints
David Aspinall
2003-05-24
|
*
Add a location under HOME to search path for isatool
David Aspinall
2003-05-23
|
*
Updated.
David Aspinall
2003-05-23
|
*
Improved version of shrink-to-fit (still problematic)
David Aspinall
2003-05-23
|
*
Updated.
David Aspinall
2003-05-23
|
*
Set version tag for new release.
David Aspinall
2003-05-23
|
*
Fix from Gerwin to repair grouping
David Aspinall
2003-05-23
|
*
Comments
David Aspinall
2003-05-21
|
*
Add option menu item for dectivate scripting auto action
David Aspinall
2003-05-21
|
*
Note about auto deactivate scripting action
David Aspinall
2003-05-21
|
*
Updated.
David Aspinall
2003-05-20
|
*
Cleanup from empty
David Aspinall
2003-05-20
|
*
Fix tabs in developer list
David Aspinall
2003-05-20
|
*
Replace obsolete developer email addresses by alias at proofgeneral.org.
David Aspinall
2003-05-20
|
*
Updated.
David Aspinall
2003-05-20
|
*
Set version tag for new release.
David Aspinall
2003-05-20
|
*
Version from Gerwin with performance fixes
David Aspinall
2003-05-20
|
*
Version without match save, and disabling isar-match-antiq.
David Aspinall
2003-05-20
|
*
Buglet in proof-mark-buffer-atomic
David Aspinall
2003-05-20
|
*
Default to not using pad-eol
David Aspinall
2003-05-20
|
*
Updated.
David Aspinall
2003-05-20
|
*
Updated.
David Aspinall
2003-05-20
|
*
Disable fontification of antiquotation because of buggy interaction with ↵
David Aspinall
2003-04-25
|
|
|
|
font-lock/XEmacs.
*
Note about .elcs
David Aspinall
2003-04-22
|
*
Updated.
David Aspinall
2003-04-15
|
*
Set version tag for new release.
David Aspinall
2003-04-15
|
*
Remove isa-mode from automode alist, to allow SML mode in preference
David Aspinall
2003-04-15
|
*
Save match data in font-locking function for antiquotations (patch from CW).
David Aspinall
2003-04-15
|
*
Updated by Gerwin to remove some X-Symbol loading
David Aspinall
2003-04-12
|
*
Comments.
David Aspinall
2003-04-05
|
*
Tweak to initialisation; fix prob with turning on during scripting.
David Aspinall
2003-04-05
|
*
Add proof-indent-pad-eol to add useless spaces
David Aspinall
2003-04-05
|
*
Add proof-indent-pad-eol for prettifying colouring in XEmacs
David Aspinall
2003-04-05
|
*
Comments
David Aspinall
2003-04-05
|
*
Updated.
David Aspinall
2003-03-17
|
*
Make colour of active scripting indicator change as documented
David Aspinall
2003-03-17
|
[next]