proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	FIXME	David Aspinall	2002-11-20
*	Add proof-shell-issue-pgip-cmd	David Aspinall	2002-11-14
*	Add proof-shrink-windows-tofit option.	David Aspinall	2002-09-11
*	Docstrings, setting for thms buffer	David Aspinall	2002-09-04
*	Improved implementation of zap-commas font lock behaviour, patch from Stefan ...	David Aspinall	2002-08-31
*	Try to reduce contrast for highlighting face	David Aspinall	2002-08-31
*	Switch to using new parser by default. Disable fly-past-comments by default.	David Aspinall	2002-08-30
*	Strict read works on GNU Emacs 21.2.	David Aspinall	2002-08-30
*	Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...	David Aspinall	2002-08-28
*	Add proof-shell-theorem-dependency-list-split	David Aspinall	2002-08-28
*	Add C-c C-w to universal keys.	David Aspinall	2002-08-27
*	Menu name	David Aspinall	2002-08-27
*	Tweaks to faces. Set visible default for tactics-name-face.	David Aspinall	2002-08-16
*	Add context menu extensions, query dependencies cmd	David Aspinall	2002-08-16
*	Refactoring	David Aspinall	2002-08-15
*	Docstring	David Aspinall	2002-08-12
*	Docstring	David Aspinall	2002-08-12
*	Refactor proof-done-advancing by abstracting out new functions; fixes for aut...	David Aspinall	2002-08-09
*	Add menu entry for toggling visibility	David Aspinall	2002-08-09
*	Generalise proof elements to include comments, show/hiding of comments.	David Aspinall	2002-08-08
*	Enable exper features for pre-releases automatically.	David Aspinall	2002-08-08
*	Tweak menu; add proof-shell-show-dependency-cmd	David Aspinall	2002-08-08
*	Fix docs	David Aspinall	2002-08-07
*	Rename proof-dont-switch-windows -> proof-three-window-mode	David Aspinall	2002-08-07
*	Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ...	David Aspinall	2002-08-07
*	Add proof-shell-strip-crs-from-output	David Aspinall	2002-08-07
*	Menu capitalization; support email addr.	David Aspinall	2002-08-07
*	Comments	David Aspinall	2002-08-07
*	Reduce proof-shell-quite-timeout	David Aspinall	2002-07-19
*	Comments	David Aspinall	2002-07-18
*	Fix active variable highlighting in Isabelle with X-Symbol.	David Aspinall	2002-07-18
*	Add pg-subterm-help-cmd	David Aspinall	2002-07-17
*	Refactor several variable names; clean up, doc subterm markup and output disp...	David Aspinall	2002-07-16
*	Default to using old parser for now.	David Aspinall	2002-06-24
*	use-old-parser setting replaces use-new-parser setting [WARNING: big change]	David Aspinall	2002-06-24
*	use-old-parser setting replaces use-new-parser setting [WARNING: big change]	David Aspinall	2002-06-24
*	GPL	David Aspinall	2002-06-21
*	Doc improvements	David Aspinall	2002-06-19
*	Remove global testing and lift-global function; rename proof-nested-goals -> ...	David Aspinall	2002-06-18
*	Docs	David Aspinall	2002-06-13
*	Add nestedundos setting to span, and proof-nested-undo-regexp setting	David Aspinall	2002-06-12
*	Add proof-nesting-depth, new implementation of span amalgamation in proof-don...	David Aspinall	2002-06-11
*	Fix keysym to use FSF syntax	David Aspinall	2002-06-08
*	Try to support next-error key binding for both Emacs versions.	David Aspinall	2002-05-03
*	Craftily set experimental fetures on for devel release.	David Aspinall	2002-05-03
*	Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default.	David Aspinall	2002-03-21
*	added hook: proof-before-fontify-output-hook	Christophe Raffalli	2002-03-21
*	Comments	David Aspinall	2002-01-16
*	Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook	David Aspinall	2002-01-16
*	Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp	David Aspinall	2002-01-16