aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* documented LEGO specific bugGravatar Thomas Kleymann1998-12-16
* minor changes in the HistoryGravatar Thomas Kleymann1998-12-16
* . clarified history of multiple filesGravatar Thomas Kleymann1998-12-16
* Docstring tweakGravatar David Aspinall1998-12-15
* Changed title of Chap 10.Gravatar David Aspinall1998-12-15
* Set version tag for new release.Gravatar David Aspinall1998-12-15
* Preface: Added David von Oheimb to credits. Mentioned adding multiple files.Gravatar David Aspinall1998-12-15
* Updated magic.Gravatar David Aspinall1998-12-15
* Used authorized keywords.Gravatar David Aspinall1998-12-15
* Docstring fix.Gravatar David Aspinall1998-12-15
* Made preface unnumbered. Cosmetic improvements. Updated magic.Gravatar David Aspinall1998-12-15
* Docstring fixesGravatar David Aspinall1998-12-15
* Docstring fixGravatar David Aspinall1998-12-15
* credits now at the beginningGravatar Thomas Kleymann1998-12-15
* Another todo idea added. This version sent to Emacs news groups.Gravatar David Aspinall1998-12-15
* Idea for magical texi-docstring property for symbols to escape auto markup.Gravatar David Aspinall1998-12-15
* Documented markup rules and usage at start of package.Gravatar David Aspinall1998-12-15
* Improved documentation of proof-included-files-list.Gravatar David Aspinall1998-12-15
* *** empty log message ***Gravatar Thomas Kleymann1998-12-15
* Added ps to make all.Gravatar David Aspinall1998-12-15
* Fixed several typos.Gravatar David Aspinall1998-12-15
* Updated magic. Small changes in Chap 11.Gravatar David Aspinall1998-12-15
* Added back magic target, handy to force update of magic.Gravatar David Aspinall1998-12-15
* Removed done stuff. Added LEGO cd hook todo.Gravatar David Aspinall1998-12-15
* radical new version of Credits and References sectionGravatar Thomas Kleymann1998-12-15
* Fixed broken check on proof-mode-hook.Gravatar David Aspinall1998-12-15
* Removed bogus duplicate call of proof-mode-hook at end of proof-config-done.Gravatar David Aspinall1998-12-15
* Fixes for FSF Emacs handling of processes, kill buffer hooks,Gravatar David Aspinall1998-12-15
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* Altered order of new para and removed some mailing list addrsGravatar David Aspinall1998-12-14
* Another FSF bug found in the new filter functions, this time for script buffer.Gravatar David Aspinall1998-12-14
* Gave up on buggy Emacs 19 support, now give error for Emacs 19.Gravatar David Aspinall1998-12-14
* Reordered require of cl. Changed deflocal definition.Gravatar David Aspinall1998-12-14
* Log of testing results.Gravatar David Aspinall1998-12-14
* . modified mailing listsGravatar Thomas Kleymann1998-12-14
* rearrange pages automaticallyGravatar Thomas Kleymann1998-12-14
* fixed bug in lego-shell-adjust-line-width (It now monitors theGravatar Thomas Kleymann1998-12-14
* Added section for UITP/TP researchers, mentioning further possibleGravatar David Aspinall1998-12-14
* Set version tag for new release.Gravatar David Aspinall1998-12-11
* More comments about multiple file problemsGravatar David Aspinall1998-12-11
* Disabled hack for proof-shell-process-file which allowedGravatar David Aspinall1998-12-11
* CommentsGravatar David Aspinall1998-12-11
* Urgent fix for multiple files wanted.Gravatar David Aspinall1998-12-11
* Allow even the current scripting buffer to be marked atomicallyGravatar David Aspinall1998-12-11
* More test cases mentionedGravatar David Aspinall1998-12-11
* todo for Isabelle multiple files.Gravatar David Aspinall1998-12-11
* Altered behaviour to allow retraction part-way through finished scripts.Gravatar David Aspinall1998-12-11
* Added new test/comments.Gravatar David Aspinall1998-12-11
* UpdatesGravatar David Aspinall1998-12-11
* Several changes:Gravatar David Aspinall1998-12-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 08:33:50 +0000