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
*
I've added the custom option 'prog-name-guess' in the generic part and
Patrick Loiseleur
1999-05-17
*
Idea for proof-auto-retract, notes about proof-strict-read-only
David Aspinall
1999-03-08
*
Improved documentation on tags
Thomas Kleymann
1999-02-24
*
extended section on Coq tags
Thomas Kleymann
1999-02-23
*
Coq section on tags improved to mention coqtags.
David Aspinall
1999-02-22
*
Coq proof mode renamed Coq Proof General
David Aspinall
1999-02-22
*
Updated magic. Shorted section name.
David Aspinall
1999-02-22
*
Added revised version of text from Healf for Coq. Updated version numbers/au...
David Aspinall
1999-02-22
*
Added proof-case-fold-search
David Aspinall
1999-02-01
*
Elaborated on scripting language limitations Isabelle "bug"
David Aspinall
1998-12-18
*
Updated magic. (Extra newlines added).
David Aspinall
1998-12-17
*
Added Latest news section to preface to point to home page.
David Aspinall
1998-12-17
*
Fixed spelling error.
David Aspinall
1998-12-17
*
Fixed info dir again. Removed detailed menu.
David Aspinall
1998-12-16
*
Updated magic.
David Aspinall
1998-12-16
*
Added a menu.
David Aspinall
1998-12-16
*
Added space after colon in info dir entry.
David Aspinall
1998-12-16
*
Fixed INFO-DIR-ENTRY (newline was lost)
David Aspinall
1998-12-16
*
Updated magic once more
David Aspinall
1998-12-16
*
further documentation of LEGO specific bug
Thomas Kleymann
1998-12-16
*
minor changes in the History
Thomas Kleymann
1998-12-16
*
. clarified history of multiple files
Thomas Kleymann
1998-12-16
*
Changed title of Chap 10.
David Aspinall
1998-12-15
*
Preface: Added David von Oheimb to credits. Mentioned adding multiple files.
David Aspinall
1998-12-15
*
Updated magic.
David Aspinall
1998-12-15
*
Made preface unnumbered. Cosmetic improvements. Updated magic.
David Aspinall
1998-12-15
*
credits now at the beginning
Thomas Kleymann
1998-12-15
*
*** empty log message ***
Thomas Kleymann
1998-12-15
*
Fixed several typos.
David Aspinall
1998-12-15
*
Updated magic. Small changes in Chap 11.
David Aspinall
1998-12-15
*
radical new version of Credits and References section
Thomas Kleymann
1998-12-15
*
made many minor changes to the documentation
Thomas Kleymann
1998-12-15
*
. Removed "multiple prover problem" from bugs section, since it's now
David Aspinall
1998-12-11
*
Changed name of proof-toolbar-inhibit variable for uniformity.
David Aspinall
1998-12-10
*
Added proof-shell-preprocess-command for Paul Callaghan.
David Aspinall
1998-12-07
*
Added proof-shell-clear-goals-regexp.
David Aspinall
1998-11-26
*
Improvements from Markus Wenzel. Re-made after texi-docstring-magic
David Aspinall
1998-11-26
*
Updated magic.
David Aspinall
1998-11-25
*
More polish.
David Aspinall
1998-11-25
*
Fixed up uses of @ref, @xref, @pxref.
David Aspinall
1998-11-25
*
Be gentler in walkthrough.
David Aspinall
1998-11-25
*
Cleaned up some text.
David Aspinall
1998-11-25
*
Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texi
David Aspinall
1998-11-25
*
Reverted to old file, v 2.9
David Aspinall
1998-10-29
*
Begun section on adding new assistant
David Aspinall
1998-10-29
*
More hacks to variable names for customize (sorry)
David Aspinall
1998-10-29
*
Begun rewriting docs
David Aspinall
1998-10-28
*
minor change
Thomas Kleymann
1998-10-22
*
Isabelle version added
David Aspinall
1998-10-21
*
added specification for a more generic mechanism for large undos
Thomas Kleymann
1998-10-18
[next]