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
/
notes.txt
Commit message (
Expand
)
Author
Age
*
Mention of continued-input prompt as API guidline.
David Aspinall
1999-01-12
*
completed chapter on Known bugs. However section on Isabelle Proof
Thomas Kleymann
1998-11-05
*
completed chapter on LEGO Proof General
Thomas Kleymann
1998-11-05
*
Revised section on Advanced Script Management
Thomas Kleymann
1998-11-04
*
Began documentation of options, plus other things
David Aspinall
1998-11-03
*
Minor improvements
David Aspinall
1998-11-03
*
Updated NewDoc contents and added chapter assignments
David Aspinall
1998-11-02
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
More scholarly notes (ha-ha).
David Aspinall
1998-10-29
*
Added some notes about a putative academic paper on Proof General
David Aspinall
1998-10-29
*
Begun rewriting docs
David Aspinall
1998-10-28
*
Added suggested outline for improved texi
David Aspinall
1998-10-26
*
Added fume-func doc note
David Aspinall
1998-10-23
*
Added notes on Isa multi files, web page improvements
David Aspinall
1998-10-22
*
Notes about things to put in docs.
David Aspinall
1998-10-12