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
/
PG-adapting.texi
Commit message (
Expand
)
Author
Age
*
Slightly shorter name for info dir entry.
David Aspinall
2000-09-21
*
Improved adding more lisp code chapter.
David Aspinall
2000-09-21
*
Encourage use of easy instantiation mechanism.
David Aspinall
2000-09-14
*
Added doc of completions, several other script settings. Sections in script ...
David Aspinall
2000-09-14
*
Note about creating images for toolbar.
David Aspinall
2000-09-14
*
Removed keystroke index.
David Aspinall
2000-09-13
*
Remove keystroke index, add appendix with demoisa code (directly included)
David Aspinall
2000-09-13
*
Add sections to chapter 2, and text on adjusting toolbar. Update magic
David Aspinall
2000-09-13
*
Minor improvements
David Aspinall
2000-09-13
*
Updated magic.
David Aspinall
2000-09-12
*
More details about parsing functions. Improved intro
David Aspinall
2000-09-12
*
Added proof-shell-auto-terminate-commands
David Aspinall
2000-08-29
*
Updated magic
David Aspinall
2000-08-28
*
Split manual into two parts.
David Aspinall
2000-08-28