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
*
Capitalization.
David Aspinall
2004-04-17
*
Lighter background colour for proof-error-face
David Aspinall
2004-04-17
*
Add boundp check to proof-map-multiple-frame-specifiers, for some back compat...
David Aspinall
2004-04-16
*
Spurious "'s
David Aspinall
2004-04-16
*
Set version tag for new release.
David Aspinall
2004-04-16
*
Comments.
David Aspinall
2004-04-15
*
Comment out pg-customize-menu-create
David Aspinall
2004-04-15
*
Gerwins bug had snuck back in. Reenable customize menus for GNU Emacs
David Aspinall
2004-04-15
*
Change error face to firebrick (again)
David Aspinall
2004-04-15
*
Set version tag for new release.
David Aspinall
2004-04-15
*
Comments.
David Aspinall
2004-04-15
*
Set frame title format to [Prover] Proof General: buffer.
David Aspinall
2004-04-15
*
Comments.
David Aspinall
2004-04-15
*
Add back menu for displaying associated buffers (suggestion of Norbert Schirmer)
David Aspinall
2004-04-15
*
Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries.
David Aspinall
2004-04-15
*
Add 'oldhaspref to update action (settings appears again on Isar menu).
David Aspinall
2004-04-15
*
Support 'oldhaspref as alias for 'haspref in PG 3.5.
David Aspinall
2004-04-14
*
Set version tag for new release.
David Aspinall
2004-04-14
*
Add Index menu.
David Aspinall
2004-04-14
*
Add Index Menu and Speedbar menu entries; remove Function Menu.
David Aspinall
2004-04-14
*
Add proof-imenu-enable. Other doc tweaks.
David Aspinall
2004-04-14
*
Add functions for Imenu and Speedbar
David Aspinall
2004-04-14
*
Fix buglet in pgip eager annotation stripping.
David Aspinall
2004-04-14
*
Add proof-script-imenu-generic-expression for configuring imenu.
David Aspinall
2004-04-14
*
Space in named entities popup
David Aspinall
2004-04-14
*
Indentation of proof-with-current-buffer-if-exists
David Aspinall
2004-04-13
*
Abstract out proof-maybe-askprefs
David Aspinall
2004-04-13
*
Abstract out proof-end-of-locked-visible-p
David Aspinall
2004-04-13
*
Add hint to C-c C-l; cleanup hints, add menu for C-c C-l
David Aspinall
2004-04-13
*
Tweak disabling of X-Symbol packages to allow user to
David Aspinall
2004-04-13
*
Disable any other x-symbol packages found by XEmacs (uses defadvice)
David Aspinall
2004-04-13
*
Set version tag for new release.
David Aspinall
2004-04-06
*
Add pgshell to proof-assistant-table, remove pgkit for now.
David Aspinall
2004-04-06
*
Adjust proof-script-comment-end and comment-end to hold empty string for end-...
David Aspinall
2004-04-06
*
Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin...
David Aspinall
2004-04-06
*
Another day, another prover:
cxl
2004-04-06
*
Set version tag for new release.
David Aspinall
2004-04-05
*
Fixed the short doc on holes
Pierre Courtieu
2004-04-05
*
Set version tag for new release.
David Aspinall
2004-04-02
*
Turn on experimental features for 3.5. Adjust display settings.
David Aspinall
2004-04-02
*
Overhaul and fixes for display management.
David Aspinall
2004-04-02
*
Comments
David Aspinall
2004-04-02
*
Use proof-shell-wait; comments.
David Aspinall
2004-04-02
*
More elaborate error messages in proof-easy-config-check-setup.
David Aspinall
2004-04-02
*
Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to s...
David Aspinall
2004-04-02
*
Add various GNU <-> XE compatibility functions for display.
David Aspinall
2004-04-02
*
Comments. Beginning of drag region code.
David Aspinall
2004-04-02
*
Adjust proof-shell-wait to use less CPU w/o timeout
David Aspinall
2004-03-30
*
Add get-window-with-predicate to perhaps solve issue with XEmacs.
David Aspinall
2004-03-30
*
Add proof-assistant-symbol to (spurious) error msg
David Aspinall
2004-03-30
[next]