aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2000-04-04Set version tag for new release.David Aspinall
2000-04-04Improved behaviour of electric terminator.David Aspinall
2000-04-04Added implementation of silent switch for turning on/off prover output.David Aspinall
2000-04-04Added proof-shell-clear-state function to collect together state clearing ops.David Aspinall
2000-04-04Set version tag for new release.David Aspinall
2000-04-04Altered proof-format-filename to add %e and %r specifiers.David Aspinall
2000-04-04Update copyright dates, comments.David Aspinall
2000-03-24Set version tag for new release.David Aspinall
2000-03-24Spacing.David Aspinall
2000-03-24Add some colours for mswindows in deffaces.David Aspinall
2000-03-24Obscure end of internal input stream problem solved.David Aspinall
2000-03-24Set version tag for new release.David Aspinall
2000-03-23Set version tag for new release.David Aspinall
2000-03-23Set version tag for new release.David Aspinall
2000-03-23Let Windows use the toolbar too.David Aspinall
2000-03-22Set version tag for new release.David Aspinall
2000-03-22Fix for activating multiple frames when no active scripting buffer.David Aspinall
2000-03-22Bug fix for electric terminator used inside locked region.David Aspinall
2000-03-22Switch back to %s, rename proof-shell-string-escapes -> ↵David Aspinall
proof-shell-filename-escapes, and always apply for filename substn.
2000-03-22Use proof-format-filename instead of format on cmds with file parameter.David Aspinall
2000-03-22Added todo.David Aspinall
2000-03-22Document use of %e in proof-shell-inform-file-{processed,retracted}-cmd.David Aspinall
2000-03-22docstringDavid Aspinall
2000-03-22Added utility functions proof-format, proof-format-filename.David Aspinall
2000-03-22Mention %e in doc for proof-shell-cd-cmd.David Aspinall
2000-03-22Added new customization: proof-shell-string-escapes.David Aspinall
2000-03-19Set version tag for new release.David Aspinall
2000-03-19Added proof-{mode}-font-lock-keywords configuration settings (used by ↵David Aspinall
easy-config). Also silent threshold
2000-03-19CommentDavid Aspinall
2000-03-19Added keybinding, improved doc for ↵David Aspinall
proof-undo-and-delete-last-successful-command.
2000-03-19Added menu entry for proof-undo-and-delete-last-successful-commandDavid Aspinall
2000-03-17proof-assistant-table: fixed spelling of comment;Makarius Wenzel
2000-03-14Set version tag for new release.David Aspinall
2000-03-14Added proof-shell-{start,stop}-silent-cmd.David Aspinall
2000-03-13Set version tag for new release.David Aspinall
2000-03-13Added return value for proof-shell-maybe-erase-response. Bug report msg.David Aspinall
2000-03-13Comment about proof-goals-display-qed-message mess.David Aspinall
2000-03-13Added proof-boring-face (default appearance is same as proof-debug-face). ↵David Aspinall
Comment.
2000-03-10Set version tag for new release.David Aspinall
2000-03-10Added mechanism for setting font-lock-keywords uniformly fromDavid Aspinall
proof-script-font-lock-keywords, and modifying syntax table with proof-script-modify-syntax-table, etc.
2000-03-10Use name of proof assistant in menu.David Aspinall
2000-03-10Names of shell, goals, script buffers now based on proof assistant nameDavid Aspinall
2000-03-10Comment.David Aspinall
2000-03-10boundp->fboundp. Fix test for proof-shell-process-connection-type.David Aspinall
2000-03-09Set version tag for new release.David Aspinall
2000-03-09Detect default for proof-shell-process-connection-type by running unameDavid Aspinall
2000-03-09Added proof-shell-process-connection-type.David Aspinall
2000-03-09Added support for HOL98 PG.David Aspinall
2000-03-09Edited a tooltip.David Aspinall
2000-03-09Added README files for each prover, summarizing status.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-22 17:24:21 +0000