aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2004-04-21Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Obey proof-eagerly-raise in proof-layout-windows.David Aspinall
2004-04-18Add proof-eagerly-raise setting, disable it for trace buffer.David Aspinall
2004-04-18Try to stop proof-delete-other-frames from bringing up newDavid Aspinall
2004-04-18Try to stop frame proliferation: let proof-shell-start make frames,David Aspinall
2004-04-18Add save-selected-frame for GNU EmacsDavid Aspinall
2004-04-18Comments.David Aspinall
2004-04-18Remove faulty compatiblity for XE 21.1David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Minor changes to avoid some compiler warningsDavid Aspinall
2004-04-17Fix bug in replace-in-string for GNU EmacsDavid Aspinall
2004-04-17Clarify that it is right to query saves in proof-retract-until-point's callDavid Aspinall
2004-04-17Oops, remove junk.David Aspinall
2004-04-17Escape the string from substitute-command-keys in proof-defshortcut, proof-de...David Aspinall
2004-04-17Comments.David Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...David Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...David Aspinall
2004-04-17Capitalization.David Aspinall
2004-04-17Lighter background colour for proof-error-faceDavid Aspinall
2004-04-16Add boundp check to proof-map-multiple-frame-specifiers, for some back compat...David Aspinall
2004-04-16Spurious "'sDavid Aspinall
2004-04-16Set version tag for new release.David Aspinall
2004-04-15Comments.David Aspinall
2004-04-15Comment out pg-customize-menu-createDavid Aspinall
2004-04-15Gerwins bug had snuck back in. Reenable customize menus for GNU EmacsDavid Aspinall
2004-04-15Change error face to firebrick (again)David Aspinall
2004-04-15Set version tag for new release.David Aspinall
2004-04-15Comments.David Aspinall
2004-04-15Set frame title format to [Prover] Proof General: buffer.David Aspinall
2004-04-15Comments.David Aspinall
2004-04-15Add back menu for displaying associated buffers (suggestion of Norbert Schirmer)David Aspinall
2004-04-15Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries.David Aspinall
2004-04-15Add 'oldhaspref to update action (settings appears again on Isar menu).David Aspinall
2004-04-14Support 'oldhaspref as alias for 'haspref in PG 3.5.David Aspinall
2004-04-14Set version tag for new release.David Aspinall
2004-04-14Add Index menu.David Aspinall
2004-04-14Add Index Menu and Speedbar menu entries; remove Function Menu.David Aspinall
2004-04-14Add proof-imenu-enable. Other doc tweaks.David Aspinall
2004-04-14Add functions for Imenu and SpeedbarDavid Aspinall
2004-04-14Fix buglet in pgip eager annotation stripping.David Aspinall
2004-04-14Add proof-script-imenu-generic-expression for configuring imenu.David Aspinall
2004-04-14Space in named entities popupDavid Aspinall
2004-04-13Indentation of proof-with-current-buffer-if-existsDavid Aspinall
2004-04-13Abstract out proof-maybe-askprefsDavid Aspinall
2004-04-13Abstract out proof-end-of-locked-visible-pDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 23:18:44 +0000