aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
1998-11-25Documentation improvements.David Aspinall
1998-11-25FSF Emacs fix for buffer-file-truename, which is theDavid Aspinall
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
1998-11-25Docstring improvements.David Aspinall
1998-11-25Use make-local-hook instead of make-local-variableDavid Aspinall
1998-11-25Made default proof-auto-delete-windows=nil again, it's too unpredictable.David Aspinall
1998-11-25Added Isamode-like keybinding C-c C-l for proof-prf.David Aspinall
1998-11-25Load proof-toolbarDavid Aspinall
1998-11-25Updated magicDavid Aspinall
1998-11-25fixed up newlines in @lisp environments.David Aspinall
1998-11-25Fixed up exit hook (still buggy)David Aspinall
1998-11-25Improved error handling in proof-deactivate-scripting sinceDavid Aspinall
1998-11-25Updated.David Aspinall
1998-11-25Docstring fixes, minor improvements.David Aspinall
1998-11-25more improvements, docstring fixes.David Aspinall
1998-11-25Wrote proof-deactiveate-scripting command for turning off scriptingDavid Aspinall
1998-11-25docstring fixes and alterations.David Aspinall
1998-11-25tweaks to regexps; added automatic mention of default values for userDavid Aspinall
1998-11-25Separated function and variable indexes again.David Aspinall
1998-11-25UpdatesDavid Aspinall
1998-11-25Added header.David Aspinall
1998-11-25changed keybinding suggested at start to work for AUC TeX's texinfo mode.David Aspinall
1998-11-25Moved some settings to proof-config.David Aspinall
1998-11-25Added some more settings, moved some around, improved docstrings.David Aspinall
1998-11-25Emacs lovers become militant.David Aspinall
1998-11-25Wrote Internals chapter. Added auto docstrings for config variables.David Aspinall
1998-11-25Improved docstringsDavid Aspinall
1998-11-25Added syntax table stuffDavid Aspinall
1998-11-25Changed names of docstring magic stuffDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 15:19:54 +0000