index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
etc
Commit message (
Expand
)
Author
Age
*
Set version tag for new release.
David Aspinall
2006-08-28
*
Mention Emacs menu for debug boxes
David Aspinall
2006-08-23
*
Change to new Isabelle syntax
David Aspinall
2006-07-26
*
Set version tag for new release.
David Aspinall
2006-05-26
*
Set version tag for new release.
David Aspinall
2006-02-14
*
Set version tag for new release.
David Aspinall
2005-10-04
*
Set version tag for new release.
David Aspinall
2005-09-30
*
Set version tag for new release.
David Aspinall
2005-09-22
*
Set version tag for new release.
David Aspinall
2005-09-21
*
Set version tag for new release.
David Aspinall
2005-09-15
*
tuned comment;
Makarius Wenzel
2005-09-14
*
example output;
Makarius Wenzel
2005-09-01
*
added lemma;
Makarius Wenzel
2005-09-01
*
example theory involving unicode characters (utf-8 encoding);
Makarius Wenzel
2005-09-01
*
Set version tag for new release.
David Aspinall
2005-08-10
*
Updated.
David Aspinall
2005-08-10
*
Try to avoid packaging elcs inadvertently
David Aspinall
2005-07-15
*
Set version tag for new release.
David Aspinall
2005-07-15
*
Tweak headers for FC4 build
David Aspinall
2005-07-15
*
Update to match desktop entry spec 0.9.4
David Aspinall
2005-07-15
*
Add alpha to fit modern themes
David Aspinall
2005-07-15
*
Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4
David Aspinall
2005-07-15
*
Set version tag for new release.
David Aspinall
2005-06-02
*
Set version tag for new release.
David Aspinall
2005-05-17
*
Set version tag for new release.
David Aspinall
2005-03-25
*
Fixes
David Aspinall
2004-11-30
*
Add emacs, xemacs as build requires suggested by J Shapiro
David Aspinall
2004-10-05
*
Set version tag for new release.
David Aspinall
2004-08-31
*
More proofgeneral.org removals
David Aspinall
2004-08-25
*
Set version tag for new release.
David Aspinall
2004-08-25
*
Update for forthcoming 3.6
David Aspinall
2004-08-25
*
Explain LaTeX mode for Isabelle a bit better
David Aspinall
2004-08-25
*
Update for 3.6 release
David Aspinall
2004-08-25
*
Update for 3.6 release
David Aspinall
2004-08-25
*
Set version tag for new release.
David Aspinall
2004-08-10
*
New files.
David Aspinall
2004-08-10
*
Set version tag for new release.
David Aspinall
2004-07-23
*
Update email msg
David Aspinall
2004-06-22
*
Include bug report and observation about GNU Emacs
David Aspinall
2004-06-22
*
Test case for nesting too deep for parser error
David Aspinall
2004-06-22
*
Set version tag for new release.
David Aspinall
2004-06-17
*
Make theory name match file name
David Aspinall
2004-06-17
*
Note about test
David Aspinall
2004-06-17
*
*** empty log message ***
David Aspinall
2004-06-16
*
New files.
David Aspinall
2004-06-16
*
Set version tag for new release.
David Aspinall
2004-06-16
*
Updated.
David Aspinall
2004-06-13
*
Set version tag for new release.
David Aspinall
2004-06-04
*
Update with date/version.
David Aspinall
2004-05-07
*
Claim auto compilation for Coq.
David Aspinall
2004-05-07
[next]