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
...
*
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
*
Improved version of shrink-to-fit (still problematic)
David Aspinall
2003-05-23
*
Set version tag for new release.
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
*
Set version tag for new release.
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
*
Set version tag for new release.
David Aspinall
2003-04-15
*
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
*
Make colour of active scripting indicator change as documented
David Aspinall
2003-03-17
*
Bury splash buffer instead of merely switching away from it.
David Aspinall
2003-03-17
*
Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...
David Aspinall
2003-03-17
*
Documentation.
David Aspinall
2003-03-17
*
Set version tag for new release.
David Aspinall
2003-03-17
*
More tweaks so that (proof-ass x-symbol-enable) is pervasive.
David Aspinall
2003-03-17
*
Streamline startup.
David Aspinall
2003-03-16
*
Updated.
David Aspinall
2003-03-16
*
Improve removal of display of splash screen. Buffer still not killed (XEmacs...
David Aspinall
2003-03-16
*
Set version tag for new release.
David Aspinall
2003-03-14
*
Use X-Symbol supplied functions for encoding input and decoding output regions
David Aspinall
2003-03-14
*
Be more polite with handling of invisibility spec
David Aspinall
2003-03-14
*
Comment about desirability for lazy-shot in trace output
David Aspinall
2003-03-14
*
Only decode x-symbols if enabled globally for prover.
David Aspinall
2003-03-14
*
Add requires to reduce compilation warnings.
David Aspinall
2003-03-14
*
Kludge for key-press during loading problem with splash screen.
David Aspinall
2003-03-14
*
Update dates
David Aspinall
2003-03-10
*
Set version tag for new release.
David Aspinall
2003-03-07
*
Use Info-default-directory-list for GNU Emacs still
David Aspinall
2003-03-07
*
Fix Non-X frame error on Emacs 21
David Aspinall
2003-03-06
*
List of stuff to do here
David Aspinall
2003-03-05
*
Set version tag for new release.
David Aspinall
2003-03-05
*
Make sure selected window never changes
David Aspinall
2003-03-05
*
Set version tag for new release.
David Aspinall
2003-03-03
*
Fix sticky mode properties for X-Symbol
David Aspinall
2003-03-03
*
Fix sticky mode properties for X-Symbol
David Aspinall
2003-03-03
*
Some fixes/error protection in shrink window
David Aspinall
2003-03-01
*
Refactor function used for Isar parsing a little.
David Aspinall
2003-03-01
*
Fix to shrink-windows-tofit
David Aspinall
2003-02-24
*
Documentation.
David Aspinall
2003-02-24
*
Set version tag for new release.
David Aspinall
2003-02-24
*
Set x-symbol-data-directory
David Aspinall
2003-02-24
*
Fix proofdefinvisible, proofdefshortcut to work in compiled version
David Aspinall
2003-02-24
[prev]
[next]