aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2002-09-11Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments.David Aspinall
2002-09-11Add :visible support. Minor reorganisation.David Aspinall
2002-09-11Support for new proof-shrink-windows-tofit option.David Aspinall
2002-09-11Begin support for thms bufferDavid Aspinall
2002-09-11Add proof-shrink-windows-tofit option.David Aspinall
2002-09-11Emulate :visible keywordDavid Aspinall
2002-09-11Missing parenDavid Aspinall
2002-09-04Docstrings, setting for thms bufferDavid Aspinall
2002-09-04Begin adding code for thms bufferDavid Aspinall
2002-09-04Add proof-thms-bufferDavid Aspinall
2002-09-04only hack proof-info-directory if it exists (doesnt for RPM version)David Aspinall
2002-09-04generic/proof-menu: move electric terminator, show specific; Help menu items ...David Aspinall
2002-08-31Set version tag for new release.David Aspinall
2002-08-31Documentation.David Aspinall
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ...David Aspinall
2002-08-31Test inhibit-read-onlyDavid Aspinall
2002-08-31CommentsDavid Aspinall
2002-08-31Try to reduce contrast for highlighting faceDavid Aspinall
2002-08-30Updated.David Aspinall
2002-08-30GNU Emacs: avoid using own-clipboardDavid Aspinall
2002-08-30Tidy displayDavid Aspinall
2002-08-30Updated.David Aspinall
2002-08-30Switch to using new parser by default. Disable fly-past-comments by default.David Aspinall
2002-08-30Set version tag for new release.David Aspinall
2002-08-30Dont restore window config if it seems like a different frame was used.David Aspinall
2002-08-30Patch from Stefan Monnier for using nested-comment aware parser on GNU Emacs.David Aspinall
2002-08-30Strict read works on GNU Emacs 21.2.David Aspinall
2002-08-29Imenu addition, layout fixes, from Stefan MonnierDavid Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Try to avoid old setting proof-splash-extensions.David Aspinall
2002-08-29Make proof-splash-extensions defconst instead of defcustomDavid Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Add additional path to proof-locate-executable.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Make C-c C-w appear on binding listDavid Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Simplify menu structure further by adding Advanced menu.David Aspinall
2002-08-28Comments: possible fix to compiles.David Aspinall
2002-08-28Fix for docstrings in proof-def-shortcut, proof-def-invisible.David Aspinall
2002-08-28Alternative version of proof-ass macro to support byte-compiled files.David Aspinall
2002-08-28checkdoc induced docstring tweaks.David Aspinall
2002-08-28Change to proof-shell-theorem-dependency-regexp; also add code to make nested...David Aspinall
2002-08-28Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...David Aspinall
2002-08-28Compatibility fixes from Stefan Monnier.David Aspinall
2002-08-28Patch from Stefan Monnier <monnier+gnu/emacs@rum.cs.yale.edu> for Info config.David Aspinall
2002-08-28Add proof-shell-theorem-dependency-list-splitDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 17:05:59 +0000