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
Commit message (
Expand
)
Author
Age
*
Fix magic
David Aspinall
2000-12-20
*
Document proof-shell-last-output and friends
David Aspinall
2000-12-20
*
3.2 -> 3.3pre
David Aspinall
2000-12-01
*
*** empty log message ***
Christophe Raffalli
2000-11-13
*
*** empty log message ***
Christophe Raffalli
2000-11-10
*
Fix recursive make
David Aspinall
2000-10-02
*
Updated magic
David Aspinall
2000-10-02
*
Attempt to force image build
David Aspinall
2000-10-02
*
Attempt to force image build
David Aspinall
2000-10-02
*
Subtitle caps
David Aspinall
2000-10-02
*
Typos in credits section
David Aspinall
2000-09-29
*
Added credits section
David Aspinall
2000-09-29
*
Date becomes Oct
David Aspinall
2000-09-28
*
Tweaks
David Aspinall
2000-09-28
*
Fix typo, add credit.
David Aspinall
2000-09-28
*
Add default target
David Aspinall
2000-09-28
*
Added extra section on how to tweak script input to the shell
David Aspinall
2000-09-28
*
proper spelling: "Leonor Prensa Nieto";
Makarius Wenzel
2000-09-27
*
Added future section, fixed URLs. Updated to mention proof-script-sexp-comma...
David Aspinall
2000-09-27
*
Shortened BUGs appendix, other improvements
David Aspinall
2000-09-27
*
Fix Proof General web page to www.proofgeneral.org.
David Aspinall
2000-09-26
*
Update date.
David Aspinall
2000-09-23
*
Slightly shorter name for info dir entry.
David Aspinall
2000-09-21
*
Fix infodir entry, it got broken somehow.
David Aspinall
2000-09-21
*
Make PG-adapting first so index.html left pointing to main manual
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
*
Moved proof-add-completions to adapting manual
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
*
Add provide sym-lock to fix sym lock loading problem
David Aspinall
2000-09-12
*
More details about parsing functions. Improved intro
David Aspinall
2000-09-12
*
Update date.
David Aspinall
2000-09-12
*
Customize always available if PG is
David Aspinall
2000-09-08
*
Added proof-shell-auto-terminate-commands
David Aspinall
2000-08-29
*
Fix description of manual now broken into two
David Aspinall
2000-08-28
*
Updated magic
David Aspinall
2000-08-28
*
Fix recursive make
David Aspinall
2000-08-28
*
Missing full stop
David Aspinall
2000-08-28
*
Split manual into two parts.
David Aspinall
2000-08-28
*
updated;
Makarius Wenzel
2000-07-26
*
use proof-assistant-table instead of proof-assistants;
Makarius Wenzel
2000-07-26
*
Minor updates
David Aspinall
2000-07-12
*
Updated list of helpers. Typo
David Aspinall
2000-06-19
*
Elaborated on where to find example file
David Aspinall
2000-06-15
[next]