aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
...
* Added note about page rearrangement for pdf filesGravatar David Aspinall1999-11-25
* Fixed credits list.Gravatar David Aspinall1999-11-25
* Comment about fonts. Fix info dir formattingGravatar David Aspinall1999-11-25
* Added note about non-proof .ML files.Gravatar David Aspinall1999-11-25
* More improvements.Gravatar David Aspinall1999-11-25
* Polished draft.Gravatar David Aspinall1999-11-24
* Many improvements.Gravatar David Aspinall1999-11-24
* UpdatesGravatar David Aspinall1999-11-23
* TypoGravatar David Aspinall1999-11-22
* Renamed proof-auto-delete-windows -> proof-delete-empty-windowsGravatar David Aspinall1999-11-22
* proof-shell-done-invisible -> proof-done-invisible againGravatar David Aspinall1999-11-22
* Image included (CVS default, add link to ../html/ProofGeneralPortrait.pdf)Gravatar David Aspinall1999-11-22
* Updates for X-Symbol support.Gravatar David Aspinall1999-11-22
* Fixed conditional inclusion of image. Added pdf to distdoc.Gravatar David Aspinall1999-11-22
* UpdatedGravatar David Aspinall1999-11-22
* File movedGravatar David Aspinall1999-11-22
* Fixes for conditional inclusion of front page imageGravatar David Aspinall1999-11-22
* Fixed info probs. xrefs are a complete nonsense in info.Gravatar David Aspinall1999-11-19
* Magic updatedGravatar David Aspinall1999-11-19
* UpdatedGravatar David Aspinall1999-11-19
* Many updates and improvements (not finished yet)Gravatar David Aspinall1999-11-19
* Renamed fileGravatar David Aspinall1999-11-19
* Additions for pdf version; needs hack to my pdftexinfo.tex to workGravatar David Aspinall1999-11-19
* Updates to Preface.Gravatar David Aspinall1999-11-18
* Tweaked preface.Gravatar David Aspinall1999-11-17
* Name change proof-window-dedicated -> proof-dont-switch-windows.Gravatar David Aspinall1999-11-17
* Isabelle 99 -> Isabelle99 name changeGravatar David Aspinall1999-11-17
* UpdatedGravatar David Aspinall1999-11-17
* Fix FSF prob.Gravatar David Aspinall1999-11-17
* CommentGravatar David Aspinall1999-11-17
* UpdatedGravatar David Aspinall1999-11-16
* UpdatedGravatar David Aspinall1999-11-15
* Updated for new keybindings and menu layout.Gravatar David Aspinall1999-11-15
* Many robustness improvements for error and interrupt handling:Gravatar David Aspinall1999-11-14
* Fix to docstring magic (allow spaces after symbol).Gravatar David Aspinall1999-11-14
* proof-nested-goals-allowed -> proof-completed-proof-behaviourGravatar David Aspinall1999-11-14
* Updates and improvementsGravatar David Aspinall1999-11-13
* Documentation improvementsGravatar David Aspinall1999-11-12
* Improved documentation, more options addedGravatar David Aspinall1999-11-11
* Extensive fixes for x-symbol and font-lock.Gravatar David Aspinall1999-11-11
* Added a section on user option conventions. Changed var namesGravatar David Aspinall1999-11-10
* proof-looking-at (subject to proof-case-fold-search);Gravatar Makarius Wenzel1999-11-10
* Fixed info syntax errorsGravatar David Aspinall1999-11-09
* Added a section on debugging, mentioned proof-show-debug-messages.Gravatar David Aspinall1999-11-08
* Fixes to intro.Gravatar David Aspinall1999-11-08
* Updates for 3.0Gravatar David Aspinall1999-11-08
* updated;Gravatar Makarius Wenzel1999-10-27
* updated;Gravatar Makarius Wenzel1999-10-26
* Documentation about the improved multiple file handling functions.Gravatar David Aspinall1999-10-21
* Changed name of proof-shell-cd-cmd for uniformity.Gravatar David Aspinall1999-10-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 11:46:38 +0000