aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
1998-11-25UpdatedDavid Aspinall
1998-11-25Name fix.David Aspinall
1998-11-25Added "start proof assistant" menu optionDavid Aspinall
1998-11-25Toolbar tip for restart changed.David Aspinall
1998-11-25In filter: minor improvement for when proof-shell-wakeup-char is set.David Aspinall
In proof-shell-handle-error: Make action list empty to prevent proof shell filter seeing same error over and over in case user types directly in shell buffer after an error.
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-23 12:53:05 +0000