aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1998-12-16Note about texinfo menu update.David Aspinall
1998-12-16Made delete-region arg optional for proof-retract-until-point-interactive.David Aspinall
1998-12-16Removed space from ProofGeneral name.David Aspinall
1998-12-16Added space after colon in info dir entry.David Aspinall
1998-12-16Fixed INFO-DIR-ENTRY (newline was lost)David Aspinall
1998-12-16Todo for putting Info somewhere good in the dir.David Aspinall
1998-12-16Set version tag for new release.Thomas Kleymann
1998-12-16towards prerelease 2.1Thomas Kleymann
1998-12-16Set version tag for new release.Thomas Kleymann
1998-12-16structured announcement some moreThomas Kleymann
1998-12-16Made outstanding bugs we haven't investigated a single A item.David Aspinall
1998-12-16Updated magic once moreDavid Aspinall
1998-12-16Added Coq test results. Made reverse chronological order.David Aspinall
1998-12-16further documentation of LEGO specific bugThomas Kleymann
1998-12-16Some hacks to make markup happen.David Aspinall
1998-12-16Tweaked docstring for C-c C-u.David Aspinall
1998-12-16Removed all urgent TODOs for 2.0David Aspinall
1998-12-16rationalised keybinding (again)Thomas Kleymann
1998-12-16improved default keybindingsThomas Kleymann
1998-12-16Removed suspected bug mentioned by David von O. Now assumed toDavid Aspinall
be due to his own hacking of Proof General. Added proof-shell-exit item concerning the time delay built-in.
1998-12-16Added GPL license (I wrote this at home).David Aspinall
Corrected name of Texinfo and other comments.
1998-12-16added proof-shell-exit test descriptionThomas Kleymann
1998-12-16Fixed default for proof-shell-quit-cmd.David Aspinall
1998-12-16documented LEGO specific bugThomas Kleymann
1998-12-16minor changes in the HistoryThomas Kleymann
1998-12-16. clarified history of multiple filesThomas Kleymann
. added UITP reference
1998-12-15Docstring tweakDavid Aspinall
1998-12-15Changed title of Chap 10.David Aspinall
1998-12-15Set version tag for new release.David Aspinall
1998-12-15Preface: Added David von Oheimb to credits. Mentioned adding multiple files.David Aspinall
1998-12-15Updated magic.David Aspinall
1998-12-15Used authorized keywords.David Aspinall
1998-12-15Docstring fix.David Aspinall
1998-12-15Made preface unnumbered. Cosmetic improvements. Updated magic.David Aspinall
1998-12-15Docstring fixesDavid Aspinall
1998-12-15Docstring fixDavid Aspinall
1998-12-15credits now at the beginningThomas Kleymann
1998-12-15Another todo idea added. This version sent to Emacs news groups.David Aspinall
1998-12-15Idea for magical texi-docstring property for symbols to escape auto markup.David Aspinall
1998-12-15Documented markup rules and usage at start of package.David Aspinall
1998-12-15Improved documentation of proof-included-files-list.David Aspinall
1998-12-15*** empty log message ***Thomas Kleymann
1998-12-15Added ps to make all.David Aspinall
1998-12-15Fixed several typos.David Aspinall
Added docstring for proof-deactivate-scripting and mentioned it in Chap 10. Removed spurious mention of defunct function proof-restart-scripting.
1998-12-15Updated magic. Small changes in Chap 11.David Aspinall
1998-12-15Added back magic target, handy to force update of magic.David Aspinall
1998-12-15Removed done stuff. Added LEGO cd hook todo.David Aspinall
1998-12-15radical new version of Credits and References sectionThomas Kleymann
1998-12-15Fixed broken check on proof-mode-hook.David Aspinall
1998-12-15Removed bogus duplicate call of proof-mode-hook at end of proof-config-done.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-11 23:16:47 +0000