index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-site.el
Commit message (
Expand
)
Author
Age
*
Set version tag for new release.
David Aspinall
2007-11-12
*
Set version tag for new release.
David Aspinall
2007-10-25
*
Set version tag for new release.
David Aspinall
2007-09-10
*
Set version tag for new release.
David Aspinall
2007-08-19
*
Set version tag for new release.
David Aspinall
2007-07-04
*
Set version tag for new release.
David Aspinall
2007-06-19
*
Set version tag for new release.
David Aspinall
2007-06-10
*
Set version tag for new release.
David Aspinall
2007-06-08
*
Set version tag for new release.
David Aspinall
2007-06-05
*
Set version tag for new release.
David Aspinall
2007-05-10
*
Set version tag for new release.
David Aspinall
2007-03-12
*
Set version tag for new release.
David Aspinall
2007-03-04
*
Set version tag for new release.
David Aspinall
2007-03-03
*
Set version tag for new release.
David Aspinall
2007-03-03
*
Set version tag for new release.
David Aspinall
2007-01-09
*
Set version tag for new release.
David Aspinall
2006-12-20
*
Set version tag for new release.
David Aspinall
2006-12-11
*
removed obsolete references to 'isa';
Makarius Wenzel
2006-12-07
*
Set version tag for new release.
David Aspinall
2006-11-07
*
Set version tag for new release.
David Aspinall
2006-10-27
*
Set version tag for new release.
David Aspinall
2006-09-24
*
Set version tag for new release.
David Aspinall
2006-09-22
*
Updated.
David Aspinall
2006-09-22
*
Set version tag for new release.
David Aspinall
2006-09-12
*
Set version tag for new release.
David Aspinall
2006-09-09
*
Set version tag for new release.
David Aspinall
2006-09-07
*
Set version tag for new release.
David Aspinall
2006-08-28
*
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
*
Make robust against missing advice package
David Aspinall
2005-09-28
*
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
*
Set version tag for new release.
David Aspinall
2005-08-10
*
Documentation.
David Aspinall
2005-08-09
*
Add proof-general-version-year
David Aspinall
2005-07-15
*
Set version tag for new release.
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
*
Disable Twelf support by default
David Aspinall
2005-05-17
*
Set version tag for new release.
David Aspinall
2005-03-25
*
Set version tag for new release.
David Aspinall
2004-08-31
*
Set version tag for new release.
David Aspinall
2004-08-25
*
Add lib/ to load-path. Define proof-general-short-version.
David Aspinall
2004-08-25
*
Set version tag for new release.
David Aspinall
2004-08-10
*
Set version tag for new release.
David Aspinall
2004-07-23
*
Disable provers whose file extensions clash with sml mode. Default to Isabe...
David Aspinall
2004-06-23
*
Set version tag for new release.
David Aspinall
2004-06-17
[next]