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
*
Added a paragraph in the documentation for the variable coq-version-is-V74.
Pierre Courtieu
2003-02-05
*
Update version number, reorg.
David Aspinall
2002-09-11
*
Doc new proof-zap-commas
David Aspinall
2002-08-31
*
Add -q to emacs
David Aspinall
2002-08-31
*
Add Stefan Monnier
David Aspinall
2002-08-29
*
Remove proof-splash-extensions
David Aspinall
2002-08-29
*
Updated.
David Aspinall
2002-08-29
*
Update magic
David Aspinall
2002-08-29
*
Update magic
David Aspinall
2002-08-29
*
Update dir entries, remove localdir file
David Aspinall
2002-08-28
*
Updated magic
David Aspinall
2002-08-27
*
Tweak
David Aspinall
2002-08-27
*
Add PG adapting.
David Aspinall
2002-08-27
*
Tweak Pierres docs
David Aspinall
2002-08-12
*
Tweak Pierres docs
David Aspinall
2002-08-12
*
Update magic
David Aspinall
2002-08-12
*
Document experimental features; update other descriptions.
David Aspinall
2002-08-12
*
Doc comments also under vis control
David Aspinall
2002-08-09
*
Authorship, comments.
David Aspinall
2002-08-08
*
Fix markup
David Aspinall
2002-08-08
*
Fix email addresses; tweaks.
David Aspinall
2002-08-08
*
Trivial.
David Aspinall
2002-08-08
*
Doc proof-shell-strip-crs-from-output; update magic
David Aspinall
2002-08-07
*
Rename proof-dont-switch-windows -> proof-three-window-mode
David Aspinall
2002-08-07
*
Changed a bit more the doc and the CHANGES file, to be
Pierre Courtieu
2002-07-26
*
The doc for coq-user-... variables is a bit better, their name has
Pierre Courtieu
2002-07-26
*
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...
David Aspinall
2002-07-19
*
Mention how to enable X-Symbol.
David Aspinall
2002-07-18
*
More on keybindings: include old x-symbol-isabelle bindings but using super.
David Aspinall
2002-07-18
*
Update magic
David Aspinall
2002-07-18
*
Update magic, move version history to appendix.
David Aspinall
2002-07-18
*
Refactor several variable names; clean up, doc subterm markup and output disp...
David Aspinall
2002-07-16
*
Fix authorship
David Aspinall
2002-07-14
*
Remove description of known bugs.
David Aspinall
2002-07-02
*
Updates for 3.4
David Aspinall
2002-07-01
*
GPL, 3.4 dates
David Aspinall
2002-06-21
*
Updated the doc and the CHANGES file about new backtracking for Coq.
Pierre Courtieu
2002-06-19
*
Add doc of proof-shell-last-prompt.
David Aspinall
2002-06-19
*
Fix info
David Aspinall
2002-06-19
*
Add news for PG 3.4
David Aspinall
2002-06-18
*
Update magic. Document nested proof settings.
David Aspinall
2002-06-18
*
Update magic
David Aspinall
2002-06-08
*
updated URLxsymbol (unused);
Makarius Wenzel
2002-05-13
*
Reflect change in load order
David Aspinall
2002-05-03
*
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
*
Document the tracing buffer; FSF Emacs -> GNU Emacs
David Aspinall
2002-01-16
*
update from make process;
Makarius Wenzel
2001-12-04
*
isar specific commands for bold/sup/sub;
Makarius Wenzel
2001-12-04
[next]