aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-12-15made many minor changes to the documentationThomas Kleymann
1998-12-14Altered order of new para and removed some mailing list addrsDavid Aspinall
1998-12-14Another FSF bug found in the new filter functions, this time for script buffer.David Aspinall
1998-12-14Gave up on buggy Emacs 19 support, now give error for Emacs 19.David Aspinall
1998-12-14Reordered require of cl. Changed deflocal definition.David Aspinall
1998-12-14Log of testing results.David Aspinall
1998-12-14. modified mailing listsThomas Kleymann
1998-12-14rearrange pages automaticallyThomas Kleymann
1998-12-14fixed bug in lego-shell-adjust-line-width (It now monitors theThomas Kleymann
1998-12-14Added section for UITP/TP researchers, mentioning further possibleDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 00:28:20 +0000