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
*
Fix domain name
David Aspinall
2003-12-11
*
Update magic
David Aspinall
2003-06-05
*
Updated magic
David Aspinall
2003-03-17
*
Update version number, reorg.
David Aspinall
2002-09-11
*
Doc new proof-zap-commas
David Aspinall
2002-08-31
*
Remove proof-splash-extensions
David Aspinall
2002-08-29
*
Update magic
David Aspinall
2002-08-29
*
Update dir entries, remove localdir file
David Aspinall
2002-08-28
*
Update magic
David Aspinall
2002-08-12
*
Fix markup
David Aspinall
2002-08-08
*
Fix email addresses; tweaks.
David Aspinall
2002-08-08
*
Doc proof-shell-strip-crs-from-output; update magic
David Aspinall
2002-08-07
*
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...
David Aspinall
2002-07-19
*
Update magic
David Aspinall
2002-07-18
*
Refactor several variable names; clean up, doc subterm markup and output disp...
David Aspinall
2002-07-16
*
Updates for 3.4
David Aspinall
2002-07-01
*
GPL, 3.4 dates
David Aspinall
2002-06-21
*
Add doc of proof-shell-last-prompt.
David Aspinall
2002-06-19
*
Update magic. Document nested proof settings.
David Aspinall
2002-06-18
*
Fix URL for X-symbol
David Aspinall
2002-04-23
*
Document some new settings
David Aspinall
2002-03-21
*
FSF Emacs -> GNU Emacs
David Aspinall
2002-01-16
*
update from make process;
Makarius Wenzel
2001-12-04
*
Update magic
David Aspinall
2001-09-24
*
Link uref nicely
David Aspinall
2001-09-13
*
Updates from an old printout of the manual
David Aspinall
2001-09-13
*
Update docs.
David Aspinall
2001-09-09
*
Update version numbers, time stamps.
David Aspinall
2001-09-03
*
Fix web page for kit
David Aspinall
2001-08-28
*
Update last updated, copyright
David Aspinall
2001-08-01
*
Change info dir entry to appear next to Proof General entry.
David Aspinall
2001-05-08
*
Try to disable image for now
David Aspinall
2001-05-01
*
Updated magic
David Aspinall
2001-03-20
*
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
*
Updated magic
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
*
Added extra section on how to tweak script input to the shell
David Aspinall
2000-09-28
*
Added future section, fixed URLs. Updated to mention proof-script-sexp-comma...
David Aspinall
2000-09-27
*
Fix Proof General web page to www.proofgeneral.org.
David Aspinall
2000-09-26
*
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
[next]