aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
1998-12-16Added GPL license (I wrote this at home).David Aspinall
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
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
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
1998-12-15Fixes for FSF Emacs handling of processes, kill buffer hooks,David Aspinall
1998-12-15made many minor changes to the documentationThomas Kleymann
1998-12-14Altered order of new para and removed some mailing list addrsDavid Aspinall
1998-12-14Another FSF bug found in the new filter functions, this time for script buffer.David Aspinall
1998-12-14Gave up on buggy Emacs 19 support, now give error for Emacs 19.David Aspinall
1998-12-14Reordered require of cl. Changed deflocal definition.David Aspinall
1998-12-14Log of testing results.David Aspinall
1998-12-14. modified mailing listsThomas Kleymann
1998-12-14rearrange pages automaticallyThomas Kleymann
1998-12-14fixed bug in lego-shell-adjust-line-width (It now monitors theThomas Kleymann
1998-12-14Added section for UITP/TP researchers, mentioning further possibleDavid Aspinall
1998-12-11Set version tag for new release.David Aspinall
1998-12-11More comments about multiple file problemsDavid Aspinall
1998-12-11Disabled hack for proof-shell-process-file which allowedDavid Aspinall
1998-12-11CommentsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 14:09:27 +0000