aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Made default proof-auto-delete-windows=nil again, it's too unpredictable.Gravatar David Aspinall1998-11-25
* Added Isamode-like keybinding C-c C-l for proof-prf.Gravatar David Aspinall1998-11-25
* Load proof-toolbarGravatar David Aspinall1998-11-25
* Updated magicGravatar David Aspinall1998-11-25
* fixed up newlines in @lisp environments.Gravatar David Aspinall1998-11-25
* Fixed up exit hook (still buggy)Gravatar David Aspinall1998-11-25
* Improved error handling in proof-deactivate-scripting sinceGravatar David Aspinall1998-11-25
* Updated.Gravatar David Aspinall1998-11-25
* Docstring fixes, minor improvements.Gravatar David Aspinall1998-11-25
* more improvements, docstring fixes.Gravatar David Aspinall1998-11-25
* Wrote proof-deactiveate-scripting command for turning off scriptingGravatar David Aspinall1998-11-25
* docstring fixes and alterations.Gravatar David Aspinall1998-11-25
* tweaks to regexps; added automatic mention of default values for userGravatar David Aspinall1998-11-25
* Separated function and variable indexes again.Gravatar David Aspinall1998-11-25
* UpdatesGravatar David Aspinall1998-11-25
* Added header.Gravatar David Aspinall1998-11-25
* changed keybinding suggested at start to work for AUC TeX's texinfo mode.Gravatar David Aspinall1998-11-25
* Moved some settings to proof-config.Gravatar David Aspinall1998-11-25
* Added some more settings, moved some around, improved docstrings.Gravatar David Aspinall1998-11-25
* Emacs lovers become militant.Gravatar David Aspinall1998-11-25
* Wrote Internals chapter. Added auto docstrings for config variables.Gravatar David Aspinall1998-11-25
* Improved docstringsGravatar David Aspinall1998-11-25
* Added syntax table stuffGravatar David Aspinall1998-11-25
* Changed names of docstring magic stuffGravatar David Aspinall1998-11-25
* Docstring fixesGravatar David Aspinall1998-11-25
* clean does doc/clean too.Gravatar David Aspinall1998-11-25
* Converted to use magic docstring comments.Gravatar David Aspinall1998-11-25
* Magic docstring -> texi conversion.Gravatar David Aspinall1998-11-25
* Set version tag for new release.Gravatar David Aspinall1998-11-20
* Added RCS stamp to doc.Gravatar David Aspinall1998-11-20
* Start of urgent messagesGravatar David Aspinall1998-11-20
* Minor cleanupsGravatar David Aspinall1998-11-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 00:36:19 +0000