aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
BUG fix: kill-function: another chance to catch process sentinel added. BUG fix: FSF Emacs minor-mode-alist BUG fix: FSF Emacs problem with proof-shell-insert mess. Still probs.
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
Added example special display regexps. Note about Isabelle PG clashing with sml-mode.
1998-11-25Added mention of user documentation.David Aspinall
1998-11-25Got rid of an error message in case of process early exiting.David Aspinall
1998-11-25Updated. Added item for process early exiting.David Aspinall
1998-11-25Cleaned up, and made use_thy remove ML file from DB properly;David Aspinall
optimised use_thy to report only on files newly added to db.
1998-11-25Remove isa/wip.ML from distrib and web.David Aspinall
1998-11-25Docstring improvements.David Aspinall
1998-11-25Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texiDavid Aspinall
1998-11-25note about incomplete goal..save sequences.David Aspinall
1998-11-25Improvements to get rid of old ProofGeneral.texi.David Aspinall
Added doc for active terminator, proof shell start, stop, and restart.
1998-11-25Documentation improvements.David Aspinall
1998-11-25FSF Emacs fix for buffer-file-truename, which is theDavid Aspinall
*abbreviated* form of file-truename!
1998-11-25UpdatedDavid Aspinall
1998-11-25Extra Isabelle PG bug/feature with theory loader. Plan for pbp.David Aspinall
1998-11-25Compile clean-ups.David Aspinall
1998-11-25Fixed show_contextDavid Aspinall
1998-11-25UpdatedDavid Aspinall
1998-11-25Improved kill function. Added process sentinel to watch for process exiting.David Aspinall
1998-11-25Updated magicDavid Aspinall
1998-11-25Replaced proof-pbp-buffer with proof-goals-buffer.David Aspinall
1998-11-25Fixes to debug long standing not-showing-first-goal problem.David Aspinall
1998-11-25Rearranged order of regexps, added *emphasised* markup case.David Aspinall
1998-11-25Note about suspected bug in lego-shell-adjust-line-width.David Aspinall
1998-11-25Note about window dedicated problem.David Aspinall
1998-11-25Added note about no specific doc for Coq PGDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 09:58:59 +0000