aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Comments.Gravatar David Aspinall2004-04-15
* Comment out pg-customize-menu-createGravatar David Aspinall2004-04-15
* Gerwins bug had snuck back in. Reenable customize menus for GNU EmacsGravatar David Aspinall2004-04-15
* Change error face to firebrick (again)Gravatar David Aspinall2004-04-15
* Set version tag for new release.Gravatar David Aspinall2004-04-15
* Comments.Gravatar David Aspinall2004-04-15
* Set frame title format to [Prover] Proof General: buffer.Gravatar David Aspinall2004-04-15
* Comments.Gravatar David Aspinall2004-04-15
* Add back menu for displaying associated buffers (suggestion of Norbert Schirmer)Gravatar David Aspinall2004-04-15
* Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries.Gravatar David Aspinall2004-04-15
* Add 'oldhaspref to update action (settings appears again on Isar menu).Gravatar David Aspinall2004-04-15
* Support 'oldhaspref as alias for 'haspref in PG 3.5.Gravatar David Aspinall2004-04-14
* Set version tag for new release.Gravatar David Aspinall2004-04-14
* Add Index menu.Gravatar David Aspinall2004-04-14
* Add Index Menu and Speedbar menu entries; remove Function Menu.Gravatar David Aspinall2004-04-14
* Add proof-imenu-enable. Other doc tweaks.Gravatar David Aspinall2004-04-14
* Add functions for Imenu and SpeedbarGravatar David Aspinall2004-04-14
* Fix buglet in pgip eager annotation stripping.Gravatar David Aspinall2004-04-14
* Add proof-script-imenu-generic-expression for configuring imenu.Gravatar David Aspinall2004-04-14
* Space in named entities popupGravatar David Aspinall2004-04-14
* Indentation of proof-with-current-buffer-if-existsGravatar David Aspinall2004-04-13
* Abstract out proof-maybe-askprefsGravatar David Aspinall2004-04-13
* Abstract out proof-end-of-locked-visible-pGravatar David Aspinall2004-04-13
* Add hint to C-c C-l; cleanup hints, add menu for C-c C-lGravatar David Aspinall2004-04-13
* Tweak disabling of X-Symbol packages to allow user toGravatar David Aspinall2004-04-13
* Disable any other x-symbol packages found by XEmacs (uses defadvice)Gravatar David Aspinall2004-04-13
* Set version tag for new release.Gravatar David Aspinall2004-04-06
* Add pgshell to proof-assistant-table, remove pgkit for now.Gravatar David Aspinall2004-04-06
* Adjust proof-script-comment-end and comment-end to hold empty string for end-...Gravatar David Aspinall2004-04-06
* Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin...Gravatar David Aspinall2004-04-06
* Another day, another prover:Gravatar cxl2004-04-06
* Set version tag for new release.Gravatar David Aspinall2004-04-05
* Fixed the short doc on holesGravatar Pierre Courtieu2004-04-05
* Set version tag for new release.Gravatar David Aspinall2004-04-02
* Turn on experimental features for 3.5. Adjust display settings.Gravatar David Aspinall2004-04-02
* Overhaul and fixes for display management.Gravatar David Aspinall2004-04-02
* CommentsGravatar David Aspinall2004-04-02
* Use proof-shell-wait; comments.Gravatar David Aspinall2004-04-02
* More elaborate error messages in proof-easy-config-check-setup.Gravatar David Aspinall2004-04-02
* Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to s...Gravatar David Aspinall2004-04-02
* Add various GNU <-> XE compatibility functions for display.Gravatar David Aspinall2004-04-02
* Comments. Beginning of drag region code.Gravatar David Aspinall2004-04-02
* Adjust proof-shell-wait to use less CPU w/o timeoutGravatar David Aspinall2004-03-30
* Add get-window-with-predicate to perhaps solve issue with XEmacs.Gravatar David Aspinall2004-03-30
* Add proof-assistant-symbol to (spurious) error msgGravatar David Aspinall2004-03-30
* generic-find-and-forget: handle proof-forget-id-command not being setGravatar David Aspinall2004-03-30
* Mention importance of proof-shell-annotated-prompt-regexp.Gravatar David Aspinall2004-03-30
* Set version tag for new release.Gravatar David Aspinall2004-03-23
* .v7 and .v8 added as coq file possible extensions.Gravatar Pierre Courtieu2004-03-19
* holes debugging.Gravatar Pierre Courtieu2004-03-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 04:24:10 +0000