aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-12-15Idea for magical texi-docstring property for symbols to escape auto markup.David Aspinall
1998-12-15Documented markup rules and usage at start of package.David Aspinall
1998-12-15Improved documentation of proof-included-files-list.David Aspinall
1998-12-15*** empty log message ***Thomas Kleymann
1998-12-15Added ps to make all.David Aspinall
1998-12-15Fixed several typos.David Aspinall
1998-12-15Updated magic. Small changes in Chap 11.David Aspinall
1998-12-15Added back magic target, handy to force update of magic.David Aspinall
1998-12-15Removed done stuff. Added LEGO cd hook todo.David Aspinall
1998-12-15radical new version of Credits and References sectionThomas Kleymann
1998-12-15Fixed broken check on proof-mode-hook.David Aspinall
1998-12-15Removed bogus duplicate call of proof-mode-hook at end of proof-config-done.David Aspinall
1998-12-15Fixes for FSF Emacs handling of processes, kill buffer hooks,David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 09:06:26 +0000