proof-general - Emacs plugins for proof management systems

Age	Commit message (Expand)	Author
2000-04-04	Set version tag for new release.	David Aspinall
2000-04-04	Improved behaviour of electric terminator.	David Aspinall
2000-04-04	Added implementation of silent switch for turning on/off prover output.	David Aspinall
2000-04-04	Added proof-shell-clear-state function to collect together state clearing ops.	David Aspinall
2000-04-04	Set version tag for new release.	David Aspinall
2000-04-04	Altered proof-format-filename to add %e and %r specifiers.	David Aspinall
2000-04-04	Update copyright dates, comments.	David Aspinall
2000-03-24	Set version tag for new release.	David Aspinall
2000-03-24	Spacing.	David Aspinall
2000-03-24	Add some colours for mswindows in deffaces.	David Aspinall
2000-03-24	Obscure end of internal input stream problem solved.	David Aspinall
2000-03-24	Set version tag for new release.	David Aspinall
2000-03-23	Set version tag for new release.	David Aspinall
2000-03-23	Set version tag for new release.	David Aspinall
2000-03-23	Let Windows use the toolbar too.	David Aspinall
2000-03-22	Set version tag for new release.	David Aspinall
2000-03-22	Fix for activating multiple frames when no active scripting buffer.	David Aspinall
2000-03-22	Bug fix for electric terminator used inside locked region.	David Aspinall
2000-03-22	Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...	David Aspinall
2000-03-22	Use proof-format-filename instead of format on cmds with file parameter.	David Aspinall
2000-03-22	Added todo.	David Aspinall
2000-03-22	Document use of %e in proof-shell-inform-file-{processed,retracted}-cmd.	David Aspinall
2000-03-22	docstring	David Aspinall
2000-03-22	Added utility functions proof-format, proof-format-filename.	David Aspinall
2000-03-22	Mention %e in doc for proof-shell-cd-cmd.	David Aspinall
2000-03-22	Added new customization: proof-shell-string-escapes.	David Aspinall
2000-03-19	Set version tag for new release.	David Aspinall
2000-03-19	Added proof-{mode}-font-lock-keywords configuration settings (used by easy-co...	David Aspinall
2000-03-19	Comment	David Aspinall
2000-03-19	Added keybinding, improved doc for proof-undo-and-delete-last-successful-comm...	David Aspinall
2000-03-19	Added menu entry for proof-undo-and-delete-last-successful-command	David Aspinall
2000-03-17	proof-assistant-table: fixed spelling of comment;	Makarius Wenzel
2000-03-14	Set version tag for new release.	David Aspinall
2000-03-14	Added proof-shell-{start,stop}-silent-cmd.	David Aspinall
2000-03-13	Set version tag for new release.	David Aspinall
2000-03-13	Added return value for proof-shell-maybe-erase-response. Bug report msg.	David Aspinall
2000-03-13	Comment about proof-goals-display-qed-message mess.	David Aspinall
2000-03-13	Added proof-boring-face (default appearance is same as proof-debug-face). Com...	David Aspinall
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
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