index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
ProofGeneral.texi
Commit message (
Expand
)
Author
Age
...
*
Doc for proof-shell-pre-interrupt-hook
David Aspinall
2000-02-09
*
Typos.
David Aspinall
1999-12-16
*
Minor fixes
David Aspinall
1999-12-14
*
Typo.
David Aspinall
1999-12-14
*
New chapter on Hints and Tips. Credit to Pierre.
David Aspinall
1999-12-14
*
Pierre: Added little a chapter to the documentation: Using File
Pierre Courtieu
1999-12-14
*
Clarified further problem with Isabelle and ML files with embedded semis.
David Aspinall
1999-12-03
*
Minor.
David Aspinall
1999-12-01
*
Disabled use of macros for URLs, sigh. It breaks pdftexinfo.
David Aspinall
1999-11-30
*
Added macros for some URLs.
David Aspinall
1999-11-30
*
Fixed download URL to be homepage.
David Aspinall
1999-11-29
*
Added John's name to the credits
David Aspinall
1999-11-29
*
Added more notes about using ML files in Isabelle.
David Aspinall
1999-11-29
*
Typo.
David Aspinall
1999-11-26
*
Moved Coq's Abbrev section. Fixed some typos.
David Aspinall
1999-11-26
*
Fixup web addresses to zermelo.dcs since www.dcs sub pages all broken.
David Aspinall
1999-11-25
*
Fixed credits list.
David Aspinall
1999-11-25
*
Comment about fonts. Fix info dir formatting
David Aspinall
1999-11-25
*
Added note about non-proof .ML files.
David Aspinall
1999-11-25
*
More improvements.
David Aspinall
1999-11-25
*
Polished draft.
David Aspinall
1999-11-24
*
Many improvements.
David Aspinall
1999-11-24
*
Updates
David Aspinall
1999-11-23
*
Typo
David Aspinall
1999-11-22
*
Renamed proof-auto-delete-windows -> proof-delete-empty-windows
David Aspinall
1999-11-22
*
proof-shell-done-invisible -> proof-done-invisible again
David Aspinall
1999-11-22
*
Image included (CVS default, add link to ../html/ProofGeneralPortrait.pdf)
David Aspinall
1999-11-22
*
Updates for X-Symbol support.
David Aspinall
1999-11-22
*
Fixes for conditional inclusion of front page image
David Aspinall
1999-11-22
*
Fixed info probs. xrefs are a complete nonsense in info.
David Aspinall
1999-11-19
*
Magic updated
David Aspinall
1999-11-19
*
Many updates and improvements (not finished yet)
David Aspinall
1999-11-19
*
Updates to Preface.
David Aspinall
1999-11-18
*
Tweaked preface.
David Aspinall
1999-11-17
*
Name change proof-window-dedicated -> proof-dont-switch-windows.
David Aspinall
1999-11-17
*
Isabelle 99 -> Isabelle99 name change
David Aspinall
1999-11-17
*
Updated
David Aspinall
1999-11-17
*
Updated
David Aspinall
1999-11-16
*
Updated
David Aspinall
1999-11-15
*
Updated for new keybindings and menu layout.
David Aspinall
1999-11-15
*
Many robustness improvements for error and interrupt handling:
David Aspinall
1999-11-14
*
Fix to docstring magic (allow spaces after symbol).
David Aspinall
1999-11-14
*
proof-nested-goals-allowed -> proof-completed-proof-behaviour
David Aspinall
1999-11-14
*
Updates and improvements
David Aspinall
1999-11-13
*
Documentation improvements
David Aspinall
1999-11-12
*
Improved documentation, more options added
David Aspinall
1999-11-11
*
Extensive fixes for x-symbol and font-lock.
David Aspinall
1999-11-11
*
Added a section on user option conventions. Changed var names
David Aspinall
1999-11-10
*
proof-looking-at (subject to proof-case-fold-search);
Makarius Wenzel
1999-11-10
*
Fixed info syntax errors
David Aspinall
1999-11-09
[prev]
[next]