aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Added clear-goals-buffer stuff, asked for response to be left after use_thy.Gravatar David Aspinall1998-11-26
* Added note about bugs elsewhere. Display issues. Tech rep todosGravatar David Aspinall1998-11-26
* Added proof-shell-clear-goals-regexp.Gravatar David Aspinall1998-11-26
* Warning in proof-shell-insert-hook docstrings.Gravatar David Aspinall1998-11-26
* Quotes added to try to fix markup.Gravatar David Aspinall1998-11-26
* Suggestions for using proof-pre-shell-start-hook removed. Minor typos/fixes.Gravatar David Aspinall1998-11-26
* Alterations to @var case againGravatar David Aspinall1998-11-26
* Improvements from Markus Wenzel. Re-made after texi-docstring-magicGravatar David Aspinall1998-11-26
* Fixup branchGravatar David Aspinall1998-11-25
* Added todo. Put quote into symbol markup.Gravatar David Aspinall1998-11-25
* Added 20.3 version of FSF Emacs and todo for each release.Gravatar David Aspinall1998-11-25
* Updated magic.Gravatar David Aspinall1998-11-25
* Updated patchGravatar David Aspinall1998-11-25
* Set version tag for new release.Gravatar David Aspinall1998-11-25
* More polish.Gravatar David Aspinall1998-11-25
* Fixed up uses of @ref, @xref, @pxref.Gravatar David Aspinall1998-11-25
* Be gentler in walkthrough.Gravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* Cleaned up some text.Gravatar David Aspinall1998-11-25
* Added mention of user documentation.Gravatar David Aspinall1998-11-25
* Got rid of an error message in case of process early exiting.Gravatar David Aspinall1998-11-25
* Updated. Added item for process early exiting.Gravatar David Aspinall1998-11-25
* Cleaned up, and made use_thy remove ML file from DB properly;Gravatar David Aspinall1998-11-25
* Remove isa/wip.ML from distrib and web.Gravatar David Aspinall1998-11-25
* Docstring improvements.Gravatar David Aspinall1998-11-25
* Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texiGravatar David Aspinall1998-11-25
* note about incomplete goal..save sequences.Gravatar David Aspinall1998-11-25
* Improvements to get rid of old ProofGeneral.texi.Gravatar David Aspinall1998-11-25
* Documentation improvements.Gravatar David Aspinall1998-11-25
* FSF Emacs fix for buffer-file-truename, which is theGravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* Extra Isabelle PG bug/feature with theory loader. Plan for pbp.Gravatar David Aspinall1998-11-25
* Compile clean-ups.Gravatar David Aspinall1998-11-25
* Fixed show_contextGravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* Improved kill function. Added process sentinel to watch for process exiting.Gravatar David Aspinall1998-11-25
* Updated magicGravatar David Aspinall1998-11-25
* Replaced proof-pbp-buffer with proof-goals-buffer.Gravatar David Aspinall1998-11-25
* Fixes to debug long standing not-showing-first-goal problem.Gravatar David Aspinall1998-11-25
* Rearranged order of regexps, added *emphasised* markup case.Gravatar David Aspinall1998-11-25
* Note about suspected bug in lego-shell-adjust-line-width.Gravatar David Aspinall1998-11-25
* Note about window dedicated problem.Gravatar David Aspinall1998-11-25
* Added note about no specific doc for Coq PGGravatar David Aspinall1998-11-25
* UpdatedGravatar David Aspinall1998-11-25
* Name fix.Gravatar David Aspinall1998-11-25
* Added "start proof assistant" menu optionGravatar David Aspinall1998-11-25
* Toolbar tip for restart changed.Gravatar David Aspinall1998-11-25
* In filter: minor improvement for when proof-shell-wakeup-char is set.Gravatar David Aspinall1998-11-25
* Docstring improvements.Gravatar David Aspinall1998-11-25
* Use make-local-hook instead of make-local-variableGravatar David Aspinall1998-11-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 23:53:58 +0000