aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
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
2004-04-13Add hint to C-c C-l; cleanup hints, add menu for C-c C-lDavid Aspinall
2004-04-13Tweak disabling of X-Symbol packages to allow user toDavid Aspinall
delete x-symbol subdir.
2004-04-13Disable any other x-symbol packages found by XEmacs (uses defadvice)David Aspinall
2004-04-06Set version tag for new release.David Aspinall
2004-04-06Add pgshell to proof-assistant-table, remove pgkit for now.David Aspinall
2004-04-06Adjust proof-script-comment-end and comment-end to hold empty string for ↵David Aspinall
end-of-line terminated comments.
2004-04-06Adjust proof-script-comment-end to fix comment-end to be empty for ↵David Aspinall
end-of-line comments.
2004-04-06Another day, another prover:cxl
added support for the Casl Consistency Checker (file name extension: .ccc).
2004-04-05Set version tag for new release.David Aspinall
2004-04-05Fixed the short doc on holesPierre Courtieu
2004-04-02Set version tag for new release.David Aspinall
2004-04-02Turn on experimental features for 3.5. Adjust display settings.David Aspinall
2004-04-02Overhaul and fixes for display management.David Aspinall
2004-04-02CommentsDavid Aspinall
2004-04-02Use proof-shell-wait; comments.David Aspinall
2004-04-02More elaborate error messages in proof-easy-config-check-setup.David Aspinall
2004-04-02Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to ↵David Aspinall
startup.
2004-04-02Add various GNU <-> XE compatibility functions for display.David Aspinall
2004-04-02Comments. Beginning of drag region code.David Aspinall
2004-03-30Adjust proof-shell-wait to use less CPU w/o timeoutDavid Aspinall
2004-03-30Add get-window-with-predicate to perhaps solve issue with XEmacs.David Aspinall
2004-03-30Add proof-assistant-symbol to (spurious) error msgDavid Aspinall
2004-03-30generic-find-and-forget: handle proof-forget-id-command not being setDavid Aspinall
2004-03-30Mention importance of proof-shell-annotated-prompt-regexp.David Aspinall
2004-03-23Set version tag for new release.David Aspinall
2004-03-19 .v7 and .v8 added as coq file possible extensions.Pierre Courtieu
2004-03-17holes debugging.Pierre Courtieu
2004-03-17menu, holes and abbrev made better.Pierre Courtieu
2004-03-15bug fix in holes (call to proof-indent-line instead of funcallPierre Courtieu
indent-line-function).
2004-03-10holes-short-doc now is in view-mode.Pierre Courtieu
2004-03-10dealing with compile warning for new "hole" code (end hopefully).Pierre Courtieu
2004-03-10modification to avoid compile warnings (end)Pierre Courtieu
+ some menu modifications
2004-03-10slight modif of holes short doc.Pierre Courtieu
2004-03-10x-get-selection is obsolete for xemacs, made a macroPierre Courtieu
hole-get-selection defined as get-selection for xemacs, and x-get-selection for emacs.
2004-03-10bug correctionsPierre Courtieu
2004-03-02Set version tag for new release.David Aspinall
2004-03-02Fix a few compiler warningsDavid Aspinall
2004-03-02Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs)David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 10:07:14 +0000