aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2000-05-07CommentsDavid Aspinall
2000-05-05Set version tag for new release.David Aspinall
2000-05-05Comments. Minor improvements for electric terminator and proof-follow-mode='...David Aspinall
2000-05-05Corrected header.David Aspinall
2000-05-05Moved code into proof-system and proof-utils.David Aspinall
2000-05-05Files for interfacing with proof system, e.g. maintaining settings.David Aspinall
2000-05-05General utility functions, moved from proof.elDavid Aspinall
2000-05-05Added menu entry for proof-goto-end-of-locked.David Aspinall
2000-05-05Added variables for customization groups so they can be set automatically.David Aspinall
2000-05-05Improved docs, declaration of variables set in proof-site, settings mechanism...David Aspinall
2000-05-02Added proof-assistant-keymap and commands for defining insert keys.David Aspinall
2000-05-01Helper macros.David Aspinall
2000-05-01Set version tag for new release.David Aspinall
2000-05-01Added proof-assistant-menu-entries for proof assistant specific menus.David Aspinall
2000-04-28Set version tag for new release.David Aspinall
2000-04-26Set version tag for new release.David Aspinall
2000-04-25Fix %r modifier in proof-format-filename.David Aspinall
2000-04-25Note about efficiency/bug fix by Markus.David Aspinall
2000-04-15proof-segment-up-to: no longer poke around in make-string buffer (nowMakarius Wenzel
2000-04-07Set version tag for new release.David Aspinall
2000-04-07Comment.David Aspinall
2000-04-07More generic message to avoid confusion with Coq searching.David Aspinall
2000-04-07Generalisation of proof-info-command to string or fn.David Aspinall
2000-04-07Removed this.David Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-07Comments. pbp-mode -> goals-modeDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
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 -> proof-shell-filename-...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 07:05:37 +0000