aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-config.el
AgeCommit message (Collapse)Author
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 ↵David Aspinall
display.
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
proof-nested-goals-history.
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 ↵David Aspinall
proof-done-advancing.
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
2001-12-11Added proof-trace-output-fontify-enableDavid Aspinall
2001-12-11Toolbar allowed in GNU Emacs 21David Aspinall
2001-09-26fixed spelling;Makarius Wenzel
2001-09-24Fix error in docs of stop-silent-command, and name of pre-shell-start-hook.David Aspinall
2001-09-04Add experimental features settingDavid Aspinall
2001-09-03Change colour of locked region.David Aspinall
2001-09-03Added proof-shell-spill-output-regexpDavid Aspinall
2001-08-31Add new proof-mouse-highlight-face to use instead of default. Fix ↵David Aspinall
dependency faces.
2001-08-31Add faces for theorem dependencies.David Aspinall
2001-08-30added proof-script-integral-proofs ("Whether the complete text after aMakarius Wenzel
goal confines the actual proof.");
2001-08-16Add hide/show commands instead of make proofs visibleDavid Aspinall
2001-05-16Moved splash settings and basic custom groups elsewhereDavid Aspinall
2001-05-08Copyright date updatedDavid Aspinall
2001-03-20Fix docstringDavid Aspinall
2000-12-14Add proof-disappearing-proofsDavid Aspinall
Make proofs visible command pg-insert-output-as-comment-fn hook Alter docstrings for functions using proof-format-filename
2000-11-24Added proof-shell-match-pgip-cmdDavid Aspinall
2000-10-30*** empty log message ***Christophe Raffalli
2000-09-29Default for proof-comment-end that doesn't cause looping in searching for ↵David Aspinall
comment end.
2000-09-28Added proof-shell-strip-crs-from-input, and unadvertised ↵David Aspinall
proof-script-fly-past-comments
2000-09-27Added yet another new parsing mechanism, bit more rational this time.David Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-21Newlines.David Aspinall
2000-09-20Disable toolbar enablers on win32.David Aspinall
2000-09-14Improved docstrings, comments.David Aspinall
2000-09-13Docstring changes for printed docs.David Aspinall
2000-09-13Order changeDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 00:23:36 +0000