proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Document proof-shell-last-output and friends	David Aspinall	2000-12-20
\|
*	Renamed file	David Aspinall	2000-12-20
\|
*	Testing line for PGIP.	David Aspinall	2000-12-20
\|
*	Improvements to span handling, including new variables: ↵	David Aspinall	2000-12-20
\| \| \| \|	proof-shell-last-output-kind and friends
*	Improvements to span handling	David Aspinall	2000-12-20
\|
*	* empty log message *	Christophe Raffalli	2000-12-19
\|
*	Updated.	David Aspinall	2000-12-15
\|
*	rename af2 -> Phox	David Aspinall	2000-12-15
\|
*	Set version tag for new release.	David Aspinall	2000-12-15
\|
*	tuned some (rarely used) symbols;	Makarius Wenzel	2000-12-15
\|
*	Remove some user-level functions to pg-user.	David Aspinall	2000-12-14
\| \| \| \|	Fix bug in proof-goto-end-of-locked.
*	Add proof-disappearing-proofs	David Aspinall	2000-12-14
\| \| \| \| \| \|	Make proofs visible command pg-insert-output-as-comment-fn hook Alter docstrings for functions using proof-format-filename
*	Generalise proof-format-filename	David Aspinall	2000-12-14
\|
*	Factor out some material from proof-script.el	David Aspinall	2000-12-14
\|
*	Add bindings for pg-insert-last-output-as-comment and ↵	David Aspinall	2000-12-14
\| \| \| \|	proof-disappearing-proofs-toggle
*	Add visible enable command	David Aspinall	2000-12-14
\|
*	Add span-object, mapcar-spans	David Aspinall	2000-12-14
\|
*	* empty log message *	David Aspinall	2000-12-14
\|
*	Updated to use Require commands	David Aspinall	2000-12-14
\|
*	Updated.	David Aspinall	2000-12-07
\|
*	Updated.	David Aspinall	2000-12-07
\|
*	Updated.	David Aspinall	2000-12-07
\|
*	Updated.	David Aspinall	2000-12-07
\|
*	Typo.	David Aspinall	2000-12-07
\|
*	Name change af2 -> phox	David Aspinall	2000-12-07
\|
*	Beginnings of pgip processing	David Aspinall	2000-12-07
\|
*	Add provide	David Aspinall	2000-12-07
\|
*	Updated.	David Aspinall	2000-12-07
\|
*	Set version tag for new release.	David Aspinall	2000-12-07
\|
*	fixed format strings for (message ...);	Makarius Wenzel	2000-12-06
\|
*	tuned font-lock-keywords;	Makarius Wenzel	2000-12-06
\|
*	isabelle-command-line: getenv "ISABELLE_OPTIONS";	Makarius Wenzel	2000-12-01
\|
*	added -m option;	Makarius Wenzel	2000-12-01
\|
*	af2 is now called PhoX	Christophe Raffalli	2000-12-01
\|
*	af2 is now called PhoX	Christophe Raffalli	2000-12-01
\|
*	Updated.	David Aspinall	2000-12-01
\|
*	Updated.	David Aspinall	2000-12-01
\|
*	Updated.	David Aspinall	2000-12-01
\|
*	Change info globs to work with mandrake	David Aspinall	2000-12-01
\|
*	Updated.	David Aspinall	2000-12-01
\|
*	Set version tag for new release.	David Aspinall	2000-12-01
\|
*	3.2 -> 3.3pre	David Aspinall	2000-12-01
\|
*	add rewrite list	Christophe Raffalli	2000-12-01
\|
*	* empty log message *	Christophe Raffalli	2000-12-01
\|
*	fixed spelling;	Makarius Wenzel	2000-11-27
\|
*	Continuing Coq V7 compatibility work, Begin Silent -> Set Silent, etc...	Pierre Courtieu	2000-11-24
\|
*	Add a little change to coq-find-and-forget to work better	Pierre Courtieu	2000-11-24
\|
*	Added proof-shell-match-pgip-cmd	David Aspinall	2000-11-24
\|
*	Update branch	David Aspinall	2000-11-24
\|
*	Added pg-xml-parse-string function.	David Aspinall	2000-11-24
\|