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
...
*
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
*
Update magic
David Aspinall
2001-09-24
*
New line
David Aspinall
2001-09-24
*
Another bug reporter
David Aspinall
2001-09-24
*
Link uref nicely
David Aspinall
2001-09-13
*
Minor improvements
David Aspinall
2001-09-13
*
Updates from an old printout of the manual
David Aspinall
2001-09-13
*
Remove spurious comment at start
David Aspinall
2001-09-10
*
Update docs.
David Aspinall
2001-09-09
*
Mention pg-toggle-visibility and its keybinding
David Aspinall
2001-09-05
*
Todo
David Aspinall
2001-09-05
*
Update version numbers, time stamps.
David Aspinall
2001-09-03
*
Note of what to do
David Aspinall
2001-09-03
*
Something about dependencies feature
David Aspinall
2001-08-31
*
Fix web page for kit
David Aspinall
2001-08-28
*
added something in the doc about coq-version-is-V7.
Pierre Courtieu
2001-08-28
*
Document visibility control
David Aspinall
2001-08-16
*
Update last updated, copyright
David Aspinall
2001-08-01
*
AF2 -> PhoX name change
David Aspinall
2001-05-29
*
Minor
David Aspinall
2001-05-16
*
Change info dir entry to appear next to Proof General entry.
David Aspinall
2001-05-08
*
Fix section title for makeinfo
David Aspinall
2001-05-08
*
Updates for 3.3
David Aspinall
2001-05-08
*
Try to disable image for now
David Aspinall
2001-05-01
*
Updated magic
David Aspinall
2001-03-20
*
Use PS fonts in PS file
David Aspinall
2001-03-20
*
updated thms_containing;
Makarius Wenzel
2001-02-01
[prev]
[next]