aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
1998-11-26Added note about bugs elsewhere. Display issues. Tech rep todosDavid Aspinall
1998-11-26Added proof-shell-clear-goals-regexp.David Aspinall
1998-11-26Warning in proof-shell-insert-hook docstrings.David Aspinall
1998-11-26Quotes added to try to fix markup.David Aspinall
1998-11-26Suggestions for using proof-pre-shell-start-hook removed. Minor typos/fixes.David Aspinall
1998-11-26Alterations to @var case againDavid Aspinall
1998-11-26Improvements from Markus Wenzel. Re-made after texi-docstring-magicDavid Aspinall
1998-11-25Fixup branchDavid Aspinall
1998-11-25Added todo. Put quote into symbol markup.David Aspinall
1998-11-25Added 20.3 version of FSF Emacs and todo for each release.David Aspinall
1998-11-25Updated magic.David Aspinall
1998-11-25Updated patchDavid Aspinall
1998-11-25Set version tag for new release.David Aspinall
1998-11-25More polish.David Aspinall
1998-11-25Fixed up uses of @ref, @xref, @pxref.David Aspinall
1998-11-25Be gentler in walkthrough.David Aspinall
1998-11-25UpdatedDavid Aspinall
1998-11-25Cleaned up some text.David Aspinall
1998-11-25Added mention of user documentation.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 18:45:20 +0000