aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
1998-11-25Docstring fixesDavid Aspinall
1998-11-25clean does doc/clean too.David Aspinall
1998-11-25Converted to use magic docstring comments.David Aspinall
1998-11-25Magic docstring -> texi conversion.David Aspinall
1998-11-20Set version tag for new release.David Aspinall
1998-11-20Added RCS stamp to doc.David Aspinall
1998-11-20Start of urgent messagesDavid Aspinall
1998-11-20Minor cleanupsDavid Aspinall
1998-11-20Reimplemented functions to shut down and restart proof process.David Aspinall
1998-11-20Improvements for multiple files and robustness: keep a copy ofDavid Aspinall
1998-11-20BIG CHANGES -- SORRY!David Aspinall
1998-11-20Added some suggestions from Markus WenzelDavid Aspinall
1998-11-20Updated gifs.David Aspinall
1998-11-20Aesthetic fixes. Added sections on tags and outline mode.David Aspinall
1998-11-18Buggy default for proof-mode-for-scriptDavid Aspinall
1998-11-18Made PROOF logo same width as GENERAL. Made both have transparent background.David Aspinall
1998-11-18A few moreDavid Aspinall
1998-11-18Added NewDoc temporariesDavid Aspinall
1998-11-18Improvements for multiple files. Now saves state specially for ProofGeneral.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 10:02:05 +0000