aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-config.el
Commit message (Expand)AuthorAge
...
* Fix docsGravatar David Aspinall2002-08-07
* Rename proof-dont-switch-windows -> proof-three-window-modeGravatar David Aspinall2002-08-07
* Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ...Gravatar David Aspinall2002-08-07
* Add proof-shell-strip-crs-from-outputGravatar David Aspinall2002-08-07
* Menu capitalization; support email addr.Gravatar David Aspinall2002-08-07
* CommentsGravatar David Aspinall2002-08-07
* Reduce proof-shell-quite-timeoutGravatar David Aspinall2002-07-19
* CommentsGravatar David Aspinall2002-07-18
* Fix active variable highlighting in Isabelle with X-Symbol.Gravatar David Aspinall2002-07-18
* Add pg-subterm-help-cmdGravatar David Aspinall2002-07-17
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* Default to using old parser for now.Gravatar David Aspinall2002-06-24
* use-old-parser setting replaces use-new-parser setting [WARNING: big change]Gravatar David Aspinall2002-06-24
* use-old-parser setting replaces use-new-parser setting [WARNING: big change]Gravatar David Aspinall2002-06-24
* GPLGravatar David Aspinall2002-06-21
* Doc improvementsGravatar David Aspinall2002-06-19
* Remove global testing and lift-global function; rename proof-nested-goals -> ...Gravatar David Aspinall2002-06-18
* DocsGravatar David Aspinall2002-06-13
* Add nestedundos setting to span, and proof-nested-undo-regexp settingGravatar David Aspinall2002-06-12
* Add proof-nesting-depth, new implementation of span amalgamation in proof-don...Gravatar David Aspinall2002-06-11
* Fix keysym to use FSF syntaxGravatar David Aspinall2002-06-08
* Try to support next-error key binding for both Emacs versions.Gravatar David Aspinall2002-05-03
* Craftily set experimental fetures on for devel release.Gravatar David Aspinall2002-05-03
* Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default.Gravatar David Aspinall2002-03-21
* added hook: proof-before-fontify-output-hookGravatar Christophe Raffalli2002-03-21
* CommentsGravatar David Aspinall2002-01-16
* Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookGravatar David Aspinall2002-01-16
* Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpGravatar David Aspinall2002-01-16
* Remove double setting, leave test setting in.Gravatar David Aspinall2001-12-11
* Added proof-trace-output-fontify-enableGravatar David Aspinall2001-12-11
* Toolbar allowed in GNU Emacs 21Gravatar David Aspinall2001-12-11
* fixed spelling;Gravatar Makarius Wenzel2001-09-26
* Fix error in docs of stop-silent-command, and name of pre-shell-start-hook.Gravatar David Aspinall2001-09-24
* Add experimental features settingGravatar David Aspinall2001-09-04
* Change colour of locked region.Gravatar David Aspinall2001-09-03
* Added proof-shell-spill-output-regexpGravatar David Aspinall2001-09-03
* Add new proof-mouse-highlight-face to use instead of default. Fix dependency...Gravatar David Aspinall2001-08-31
* Add faces for theorem dependencies.Gravatar David Aspinall2001-08-31
* added proof-script-integral-proofs ("Whether the complete text after aGravatar Makarius Wenzel2001-08-30
* Add hide/show commands instead of make proofs visibleGravatar David Aspinall2001-08-16
* Moved splash settings and basic custom groups elsewhereGravatar David Aspinall2001-05-16
* Copyright date updatedGravatar David Aspinall2001-05-08
* Fix docstringGravatar David Aspinall2001-03-20
* Add proof-disappearing-proofsGravatar David Aspinall2000-12-14
* Added proof-shell-match-pgip-cmdGravatar David Aspinall2000-11-24
* *** empty log message ***Gravatar Christophe Raffalli2000-10-30
* Default for proof-comment-end that doesn't cause looping in searching for com...Gravatar David Aspinall2000-09-29
* Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas...Gravatar David Aspinall2000-09-28
* Added yet another new parsing mechanism, bit more rational this time.Gravatar David Aspinall2000-09-27
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 00:34:20 +0000