proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2000-03-13	Added proof-boring-face (default appearance is same as proof-debug-face). ↵	David Aspinall
	Comment.
2000-03-10	Set version tag for new release.	David Aspinall

2000-03-10	Added mechanism for setting font-lock-keywords uniformly from	David Aspinall
	proof-script-font-lock-keywords, and modifying syntax table with proof-script-modify-syntax-table, etc.
2000-03-10	Use name of proof assistant in menu.	David Aspinall

2000-03-10	Names of shell, goals, script buffers now based on proof assistant name	David Aspinall

2000-03-10	Comment.	David Aspinall

2000-03-10	boundp->fboundp. Fix test for proof-shell-process-connection-type.	David Aspinall

2000-03-09	Set version tag for new release.	David Aspinall

2000-03-09	Detect default for proof-shell-process-connection-type by running uname	David Aspinall

2000-03-09	Added proof-shell-process-connection-type.	David Aspinall

2000-03-09	Added support for HOL98 PG.	David Aspinall

2000-03-09	Edited a tooltip.	David Aspinall

2000-03-09	Added README files for each prover, summarizing status.	David Aspinall

2000-03-08	Set version tag for new release.	David Aspinall

2000-03-08	Fix to warn function to use format args.	David Aspinall

2000-03-08	Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)	David Aspinall

2000-03-01	Set version tag for new release.	David Aspinall

2000-02-29	Set version tag for new release.	David Aspinall

2000-02-29	Forced process-connection-type always to nil, after all. May not be an ↵	David Aspinall
	issue with non-mule FSF Emacs (that was something different).
2000-02-28	Set version tag for new release.	David Aspinall

2000-02-28	Added back ^G fix for Solaris, but not for non-mule FSF.	David Aspinall

2000-02-28	Add definition of warn function for FSF compatibility.	David Aspinall

2000-02-24	Set version tag for new release.	David Aspinall

2000-02-17	Set version tag for new release.	David Aspinall

2000-02-15	Set version tag for new release.	David Aspinall

2000-02-15	New canonical URL for PG.	David Aspinall

2000-02-09	Set version tag for new release.	David Aspinall

2000-02-09	Added proof-shell-pre-interrupt-hook	David Aspinall

2000-01-26	Set version tag for new release.	David Aspinall

2000-01-25	Temporary fix for problem with Emacs 20.5 reported by Pierre	David Aspinall

2000-01-20	Set version tag for new release.	David Aspinall

2000-01-12	Set version tag for new release.	David Aspinall

2000-01-12	Attempted fix for thy-mode X-Symbol problems. Still buggy.	David Aspinall

2000-01-06	Set version tag for new release.	David Aspinall

1999-12-16	Set version tag for new release.	David Aspinall

1999-12-14	Set version tag for new release.	David Aspinall

1999-12-13	Set version tag for new release.	David Aspinall

1999-12-03	Set version tag for new release.	David Aspinall

1999-12-01	Set version tag for new release.	David Aspinall

1999-11-30	Set version tag for new release.	David Aspinall

1999-11-30	Set version tag for new release.	David Aspinall

1999-11-30	Set version tag for new release.	David Aspinall

1999-11-30	Set version tag for new release.	David Aspinall

1999-11-29	Set version tag for new release.	David Aspinall

1999-11-29	Set version tag for new release.	David Aspinall

1999-11-29	Typo	David Aspinall

1999-11-29	Comments about improved handling of urgent message markers, following	David Aspinall
	jrl's bug report about duplication of occasional urgent messages. The correct fix is to set proof-shell-eager-annotation-start-length properly.
1999-11-26	Set version tag for new release.	David Aspinall

1999-11-26	Set version tag for new release.	David Aspinall

1999-11-26	Typos.	David Aspinall