proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-12-09
* \|	Updated.	David Aspinall	2002-11-28
* \|	Documentation.	David Aspinall	2002-11-28
* \|	Docstring	David Aspinall	2002-11-28
* \|	Doc	David Aspinall	2002-11-28
* \|	Add pg-xml-encode-entities.	David Aspinall	2002-11-28
* \|	Revert proof-shell-handle-output version, add failsafe.	David Aspinall	2002-11-28
* \|	Fix link to Isamode.	David Aspinall	2002-11-22
* \|	Updated.	David Aspinall	2002-11-21
* \|	markup ml for Isar	David Aspinall	2002-11-21
* \|	Autoload proof-definvisible	David Aspinall	2002-11-20
* \|	Updated.	David Aspinall	2002-11-20
* \|	Make proof-assistants-settings-cmd be evaluated at right time.	David Aspinall	2002-11-20
* \|	Improve isabelle-choose-logic, and make it clear preferences. Remove all def...	David Aspinall	2002-11-20
* \|	Remove junk	David Aspinall	2002-11-20
* \|	Updated.	David Aspinall	2002-11-20
* \|	Comment	David Aspinall	2002-11-20
* \|	proof-shell-invisible-cmd also accepts a function yielding a command.	David Aspinall	2002-11-20
* \|	Fix typo.	David Aspinall	2002-11-20
* \|	Add reset options, and save/reset settings items.	David Aspinall	2002-11-20
* \|	Add pg-custom-reset-vars. Make proofdefintset display current value	David Aspinall	2002-11-20
* \|	FIXME	David Aspinall	2002-11-20
* \|	Add pg-issue-pgip	David Aspinall	2002-11-20
* \|	Add undefpgcustom	David Aspinall	2002-11-18
* \|	Support redefinitions in proof-defpacustom-fn, by removing custom settings.	David Aspinall	2002-11-18
* \|	Fixup code to interpret default values.	David Aspinall	2002-11-18
* \|	Add pg-custom-undeclare-variable.	David Aspinall	2002-11-18
* \|	Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.	David Aspinall	2002-11-18
* \|	Updated.	David Aspinall	2002-11-18
* \|	New files.	David Aspinall	2002-11-18
* \|	Next iteration: add post-processing step, descriptions in haspref.	David Aspinall	2002-11-14
* \|	Disable message display when parsing xml strings.	David Aspinall	2002-11-14
* \|	Add proof-assistant-menu-update, allow redefine of setting in pacustom.	David Aspinall	2002-11-14
* \|	Tweak calling of pg-pgip processing commands.	David Aspinall	2002-11-14
* \|	Add proof-shell-issue-pgip-cmd	David Aspinall	2002-11-14
* \|	Erase buffer in kill action. Tweak proof-debug arguments.	David Aspinall	2002-11-14
* \|	Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o...	David Aspinall	2002-11-13
* \|	Updated.	David Aspinall	2002-11-11
* \|	Set version tag for new release.	David Aspinall	2002-11-11
* \|	Updated.	David Aspinall	2002-11-11
* \|	(Failed) Attempt to fix UTF-8 problem for RH8.	David Aspinall	2002-11-11
* \|	Updated.	David Aspinall	2002-11-11
* \|	Updated.	David Aspinall	2002-11-08
* \|	Set version tag for new release.	David Aspinall	2002-11-08
* \|	Add trigger for <pgip messages	David Aspinall	2002-11-08
* \|	Debuggin pg-pgip-haspref.	David Aspinall	2002-11-07
* \|	Updated.	David Aspinall	2002-11-07
* \|	Add subst-char-in-string (Monnier patch) for XEmacs.	David Aspinall	2002-11-07
* \|	Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; plus...	David Aspinall	2002-11-07
* \|	Updated.	David Aspinall	2002-11-07