aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-config.el
AgeCommit message (Expand)Author
2002-11-14Add proof-shell-issue-pgip-cmdDavid Aspinall
2002-09-11Add proof-shrink-windows-tofit option.David Aspinall
2002-09-04Docstrings, setting for thms bufferDavid Aspinall
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ...David Aspinall
2002-08-31Try to reduce contrast for highlighting faceDavid Aspinall
2002-08-30Switch to using new parser by default. Disable fly-past-comments by default.David Aspinall
2002-08-30Strict read works on GNU Emacs 21.2.David Aspinall
2002-08-28Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...David Aspinall
2002-08-28Add proof-shell-theorem-dependency-list-splitDavid Aspinall
2002-08-27Add C-c C-w to universal keys.David Aspinall
2002-08-27Menu nameDavid Aspinall
2002-08-16Tweaks to faces. Set visible default for tactics-name-face.David Aspinall
2002-08-16Add context menu extensions, query dependencies cmdDavid Aspinall
2002-08-15RefactoringDavid Aspinall
2002-08-12DocstringDavid Aspinall
2002-08-12DocstringDavid Aspinall
2002-08-09Refactor proof-done-advancing by abstracting out new functions; fixes for aut...David Aspinall
2002-08-09Add menu entry for toggling visibilityDavid Aspinall
2002-08-08Generalise proof elements to include comments, show/hiding of comments.David Aspinall
2002-08-08Enable exper features for pre-releases automatically.David Aspinall
2002-08-08Tweak menu; add proof-shell-show-dependency-cmdDavid Aspinall
2002-08-07Fix docsDavid Aspinall
2002-08-07Rename proof-dont-switch-windows -> proof-three-window-modeDavid Aspinall
2002-08-07Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ...David Aspinall
2002-08-07Add proof-shell-strip-crs-from-outputDavid Aspinall
2002-08-07Menu capitalization; support email addr.David Aspinall
2002-08-07CommentsDavid Aspinall
2002-07-19Reduce proof-shell-quite-timeoutDavid Aspinall
2002-07-18CommentsDavid Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-17Add pg-subterm-help-cmdDavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-06-24Default to using old parser for now.David Aspinall
2002-06-24use-old-parser setting replaces use-new-parser setting [WARNING: big change]David Aspinall
2002-06-24use-old-parser setting replaces use-new-parser setting [WARNING: big change]David Aspinall
2002-06-21GPLDavid Aspinall
2002-06-19Doc improvementsDavid Aspinall
2002-06-18Remove global testing and lift-global function; rename proof-nested-goals -> ...David Aspinall
2002-06-13DocsDavid Aspinall
2002-06-12Add nestedundos setting to span, and proof-nested-undo-regexp settingDavid Aspinall
2002-06-11Add proof-nesting-depth, new implementation of span amalgamation in proof-don...David Aspinall
2002-06-08Fix keysym to use FSF syntaxDavid Aspinall
2002-05-03Try to support next-error key binding for both Emacs versions.David Aspinall
2002-05-03Craftily set experimental fetures on for devel release.David Aspinall
2002-03-21Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default.David Aspinall
2002-03-21added hook: proof-before-fontify-output-hookChristophe Raffalli
2002-01-16CommentsDavid Aspinall
2002-01-16Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2001-12-11Remove double setting, leave test setting in.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 07:12:48 +0000