aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-12-11Set version tag for new release.David Aspinall
1998-12-11More comments about multiple file problemsDavid Aspinall
1998-12-11Disabled hack for proof-shell-process-file which allowedDavid Aspinall
1998-12-11CommentsDavid Aspinall
1998-12-11Urgent fix for multiple files wanted.David Aspinall
1998-12-11Allow even the current scripting buffer to be marked atomicallyDavid Aspinall
1998-12-11More test cases mentionedDavid Aspinall
1998-12-11todo for Isabelle multiple files.David Aspinall
1998-12-11Altered behaviour to allow retraction part-way through finished scripts.David Aspinall
1998-12-11Added new test/comments.David Aspinall
1998-12-11UpdatesDavid Aspinall
1998-12-11Several changes:David Aspinall
1998-12-11Added more commands for testingDavid Aspinall
1998-12-11Added submit bug report to proof-shared-menuDavid Aspinall
1998-12-11Tweaked headings for bug reportDavid Aspinall
1998-12-11Added proof-submit-bug-reportDavid Aspinall
1998-12-11Removed check for proof script buffer from retraction enabler.David Aspinall
1998-12-11Fixed typo.David Aspinall
1998-12-11Name of proof-shell-restart was changed.David Aspinall
1998-12-11Tidied output by putting newlines before imports done message.David Aspinall
1998-12-11Fixed bug where proof-activate-scripting nuked locked regions.David Aspinall
1998-12-11Removed proof-send, now use proof-shell-insert instead.David Aspinall
1998-12-11HandyDavid Aspinall
1998-12-11Removed proof-shell-preprocess-command. Improved docstring for proof-shell-i...David Aspinall
1998-12-11Explained one-prover issue better.David Aspinall
1998-12-11. Removed "multiple prover problem" from bugs section, since it's nowDavid Aspinall
1998-12-11Removed multiple provers problem, it's handled gracefully now and not a bug.David Aspinall
1998-12-11Added some items after user feedback. Also some *** probs.David Aspinall
1998-12-11Updated for version 2.0David Aspinall
1998-12-11Disabled span-making part of proof-shell-analyse structure for Emacs 20.3David Aspinall
1998-12-11Added mention of FSFmacs multibyte character problem (version 20.3)David Aspinall
1998-12-10Made point stay at top of goals buffer and bottom of response bufferDavid Aspinall
1998-12-10Changed name of proof-toolbar-inhibit variable for uniformity.David Aspinall
1998-12-10New file mentioning some test cases.David Aspinall
1998-12-10Offer to save script mode buffers which have no files,David Aspinall
1998-12-10Patch for case that new script buffer has no filename.David Aspinall
1998-12-10Fix for splash hack for theory files when proo-splash-inhibit=t.David Aspinall
1998-12-10Fix for proof-splash-inhibit = t. Bug report from Paul Callaghan.David Aspinall
1998-12-08o special characters are no longer displayed in (16Bit) FSF GNU EmacsThomas Kleymann
1998-12-08Added A*** for documentation, X for ChangeLog in devel distrib.David Aspinall
1998-12-08Added support for proof-shell-restart-cmdThomas Kleymann
1998-12-07Set version tag for new release.David Aspinall
1998-12-07Added proof-shell-preprocess-command for Paul Callaghan.David Aspinall
1998-12-05Added new todos for LEGO.David Aspinall
1998-11-26Set version tag for new release.David Aspinall
1998-11-26Added HTML files.David Aspinall
1998-11-26Added note about final things to do for 2.0David Aspinall
1998-11-26BUG fix: proof-shell-message with str's containing format characters.David Aspinall
1998-11-26Format fixDavid Aspinall
1998-11-26Added clear-goals-buffer stuff, asked for response to be left after use_thy.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 04:31:13 +0000