aboutsummaryrefslogtreecommitdiff
path: root/doc/ProofGeneral.texi
AgeCommit message (Expand)Author
1999-11-25Fixed credits list.David Aspinall
1999-11-25Comment about fonts. Fix info dir formattingDavid Aspinall
1999-11-25Added note about non-proof .ML files.David Aspinall
1999-11-25More improvements.David Aspinall
1999-11-24Polished draft.David Aspinall
1999-11-24Many improvements.David Aspinall
1999-11-23UpdatesDavid Aspinall
1999-11-22TypoDavid Aspinall
1999-11-22Renamed proof-auto-delete-windows -> proof-delete-empty-windowsDavid Aspinall
1999-11-22proof-shell-done-invisible -> proof-done-invisible againDavid Aspinall
1999-11-22Image included (CVS default, add link to ../html/ProofGeneralPortrait.pdf)David Aspinall
1999-11-22Updates for X-Symbol support.David Aspinall
1999-11-22Fixes for conditional inclusion of front page imageDavid Aspinall
1999-11-19Fixed info probs. xrefs are a complete nonsense in info.David Aspinall
1999-11-19Magic updatedDavid Aspinall
1999-11-19Many updates and improvements (not finished yet)David Aspinall
1999-11-18Updates to Preface.David Aspinall
1999-11-17Tweaked preface.David Aspinall
1999-11-17Name change proof-window-dedicated -> proof-dont-switch-windows.David Aspinall
1999-11-17Isabelle 99 -> Isabelle99 name changeDavid Aspinall
1999-11-17UpdatedDavid Aspinall
1999-11-16UpdatedDavid Aspinall
1999-11-15UpdatedDavid Aspinall
1999-11-15Updated for new keybindings and menu layout.David Aspinall
1999-11-14Many robustness improvements for error and interrupt handling:David Aspinall
1999-11-14Fix to docstring magic (allow spaces after symbol).David Aspinall
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
1999-11-13Updates and improvementsDavid Aspinall
1999-11-12Documentation improvementsDavid Aspinall
1999-11-11Improved documentation, more options addedDavid Aspinall
1999-11-11Extensive fixes for x-symbol and font-lock.David Aspinall
1999-11-10Added a section on user option conventions. Changed var namesDavid Aspinall
1999-11-10proof-looking-at (subject to proof-case-fold-search);Makarius Wenzel
1999-11-09Fixed info syntax errorsDavid Aspinall
1999-11-08Added a section on debugging, mentioned proof-show-debug-messages.David Aspinall
1999-11-08Fixes to intro.David Aspinall
1999-11-08Updates for 3.0David Aspinall
1999-10-27updated;Makarius Wenzel
1999-10-26updated;Makarius Wenzel
1999-10-21Documentation about the improved multiple file handling functions.David Aspinall
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-21Added proof-shell-inform-file-processed-cmdDavid Aspinall
1999-10-21Revised bug section for Isabelle multiple file note.David Aspinall
1999-10-20Fixed crossrefs.David Aspinall
1999-10-19Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magicDavid Aspinall
1999-10-15FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.David Aspinall
1999-10-12docstring magicDavid Aspinall
1999-10-07Temporary location of web pagesDavid Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-10-06UpdatesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 17:45:30 +0000