aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
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
2002-08-28Docstring/CR from stefans patchDavid Aspinall
2002-08-28Make font-lock-keywords buffer local for sake of Emacs 21.2.David Aspinall
2002-08-28Fix bug in pg-remove-specials breaking x-sym display in IsabelleDavid Aspinall
2002-08-28Make font-lock-keywords buffer local for sake of Emacs 21.2.David Aspinall
2002-08-28Disable pop-up-frames for splash.David Aspinall
2002-08-28Fix sloppy uses of message/concatDavid Aspinall
2002-08-27proof-assistant-format: always pass through proof-assistant-setting-format;Makarius Wenzel
2002-08-27Set version tag for new release.David Aspinall
2002-08-27DocstringDavid Aspinall
2002-08-27Move C-c C-w to universal keysDavid Aspinall
2002-08-27Add C-c C-w to universal keys.David Aspinall
2002-08-27Key for pg-response-clear-displays.David Aspinall
2002-08-27ConventionsDavid Aspinall
2002-08-27Menu nameDavid Aspinall
2002-08-27Disable undo history for efficiency; improve kill buffer hook.David Aspinall
2002-08-27Menu entry to clear response buffers.David Aspinall
2002-08-27Disable undo history for efficiency; add clear response buffers function; cle...David Aspinall
2002-08-27Disable undo history for efficiency.David Aspinall
2002-08-26Set version tag for new release.David Aspinall
2002-08-26Oops: has to be error to prevent killing, of course...David Aspinall
2002-08-26Try to prevent associated buffers being killed off by user.David Aspinall
2002-08-16Tweaks to faces. Set visible default for tactics-name-face.David Aspinall
2002-08-16Set version tag for new release.David Aspinall
2002-08-16Change order of menuDavid Aspinall
2002-08-16FormattingDavid Aspinall
2002-08-16Robustness against pg-subterm-start-char not being set.David Aspinall
2002-08-16Docstring.David Aspinall
2002-08-16Add context menu extensions, query dependencies cmdDavid Aspinall
2002-08-16pg-goals -> pg-assocDavid Aspinall
2002-08-15Small fixesDavid Aspinall
2002-08-15RefactoringDavid Aspinall
2002-08-15Refactoring.David Aspinall
2002-08-15Fix autoloadDavid Aspinall
2002-08-15TypoDavid Aspinall
2002-08-15UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 08:45:08 +0000