aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-08-28Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...David Aspinall
2002-08-28Borrowed as exampleDavid Aspinall
2002-08-28Compatibility fixes from Stefan Monnier.David Aspinall
2002-08-28Add missing semicolon.David Aspinall
2002-08-28Deleted fileDavid Aspinall
2002-08-28Patch from Stefan Monnier for syntax highlighting.David Aspinall
2002-08-28Update dir entries, remove localdir fileDavid 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-28Exercise bug in pg-remove-specials breaking x-sym display in IsabelleDavid Aspinall
2002-08-28Fix bug in pg-remove-specials breaking x-sym display in IsabelleDavid Aspinall
2002-08-28Mention support@proofgeneral.org address.David Aspinall
2002-08-28Update intros.David Aspinall
2002-08-28Contact in case of probs.David Aspinall
2002-08-28Make font-lock-keywords buffer local for sake of Emacs 21.2.David Aspinall
2002-08-28Fix to calls on messageDavid Aspinall
2002-08-28Disable pop-up-frames for splash.David Aspinall
2002-08-28Fix sloppy uses of message/concatDavid Aspinall
2002-08-27proper setup for theorem dependencies;Makarius Wenzel
2002-08-27proof-assistant-format: always pass through proof-assistant-setting-format;Makarius Wenzel
2002-08-27Updated.David Aspinall
2002-08-27Set version tag for new release.David Aspinall
2002-08-27Updated magicDavid 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-27Updated.David Aspinall
2002-08-27UpdatedDavid Aspinall
2002-08-27TweakDavid Aspinall
2002-08-27Add PG adapting.David Aspinall
2002-08-27Menu nameDavid Aspinall
2002-08-27Updated.David 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-27UpdatedDavid Aspinall
2002-08-26Updated.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-26Add example of sub/sup/bold in comment.David Aspinall
2002-08-26New files.David Aspinall
2002-08-16Updated.David Aspinall
2002-08-16Updated.David Aspinall
2002-08-16Tweaks to faces. Set visible default for tactics-name-face.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-01 06:08:15 +0000