proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Set version tag for new release.	David Aspinall	2001-05-16
\|
*	Moved splash settings and basic custom groups elsewhere	David Aspinall	2001-05-16
\|
*	Move loading of compatibility flag, autoloads, basic customization groups here.	David Aspinall	2001-05-16
\|
*	Move autoloads loads to proof-site, invoke (proof-splash-message)	David Aspinall	2001-05-16
\|
*	Move emacs version compatibility flags to proof-site.el	David Aspinall	2001-05-16
\|
*	Move configuration from proof-config here. Make proof-splash-message ↵	David Aspinall	2001-05-16
\| \| \| \|	display logo or print message.
*	Set version tag for new release.	David Aspinall	2001-05-08
\|
*	Fixes for fontification in Xemacs 21.4	David Aspinall	2001-05-08
\|
*	Copyright date updated	David Aspinall	2001-05-08
\|
*	Add Markus to list of authors	David Aspinall	2001-05-08
\|
*	change for Emacs compatibility and FSF/Xemacs update. Copyright update.	David Aspinall	2001-05-03
\|
*	Emacs fix (extent->span). Copyright update.	David Aspinall	2001-05-03
\|
*	Set version tag for new release.	David Aspinall	2001-05-01
\|
*	Set version tag for new release.	David Aspinall	2001-03-20
\|
*	Remove temporary comments	David Aspinall	2001-03-20
\|
*	Fix docstring	David Aspinall	2001-03-20
\|
*	* empty log message *	Christophe Raffalli	2001-02-20
\|
*	Set version tag for new release.	David Aspinall	2001-02-07
\|
*	Set version tag for new release.	David Aspinall	2001-02-06
\|
*	Set version tag for new release.	David Aspinall	2001-01-12
\|
*	fixed format strings in message, error, etc.	Makarius Wenzel	2001-01-11
\|
*	Set version tag for new release.	David Aspinall	2001-01-05
\|
*	Set version tag for new release.	David Aspinall	2000-12-22
\|
*	Removed accidently committed debugging code	David Aspinall	2000-12-22
\|
*	* empty log message *	Christophe Raffalli	2000-12-22
\|
*	Set version tag for new release.	David Aspinall	2000-12-21
\|
*	Fix comment to not break texi magic	David Aspinall	2000-12-20
\|
*	More broken escapes.	David Aspinall	2000-12-20
\|
*	Set version tag for new release.	David Aspinall	2000-12-20
\|
*	goalsave -> proof	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
\|
*	Set version tag for new release.	David Aspinall	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
\|
*	Typo.	David Aspinall	2000-12-07
\|
*	Beginnings of pgip processing	David Aspinall	2000-12-07
\|
*	Add provide	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
\|
*	af2 is now called PhoX	Christophe Raffalli	2000-12-01
\|
*	Set version tag for new release.	David Aspinall	2000-12-01
\|
*	Added proof-shell-match-pgip-cmd	David Aspinall	2000-11-24
\|
*	Added pg-xml-parse-string function.	David Aspinall	2000-11-24
\|