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
/
ProofGeneral.spec
Commit message (
Expand
)
Author
Age
...
*
Set version tag for new release.
David Aspinall
2010-10-10
*
Set version tag for new release.
David Aspinall
2010-10-10
*
Set version tag for new release.
David Aspinall
2010-10-10
*
Set version tag for new release.
David Aspinall
2010-10-04
*
Set version tag for new release.
David Aspinall
2010-10-01
*
Set version tag for new release.
David Aspinall
2010-09-29
*
Set version tag for new release.
David Aspinall
2010-09-27
*
Set version tag for new release.
David Aspinall
2010-09-09
*
Set version tag for new release.
David Aspinall
2010-09-08
*
Set version tag for new release.
David Aspinall
2010-08-27
*
Set version tag for new release.
David Aspinall
2010-08-25
*
Set version tag for new release.
David Aspinall
2010-08-23
*
Set version tag for new release.
David Aspinall
2010-08-19
*
Set version tag for new release.
David Aspinall
2010-08-17
*
Set version tag for new release.
David Aspinall
2010-08-15
*
Set version tag for new release.
David Aspinall
2010-07-08
*
Set version tag for new release.
David Aspinall
2009-12-04
*
Set version tag for new release.
David Aspinall
2009-12-01
*
Set version tag for new release.
David Aspinall
2009-11-12
*
Set version tag for new release.
David Aspinall
2009-10-16
*
Set version tag for new release.
David Aspinall
2009-10-06
*
Set version tag for new release.
David Aspinall
2009-09-29
*
Set version tag for new release.
David Aspinall
2009-09-28
*
Set version tag for new release.
David Aspinall
2009-09-21
*
Set version tag for new release.
David Aspinall
2009-09-16
*
Set version tag for new release.
David Aspinall
2009-09-15
*
Set version tag for new release.
David Aspinall
2009-09-01
*
Set version tag for new release.
David Aspinall
2009-08-31
*
Set version tag for new release.
David Aspinall
2009-08-28
*
Set version tag for new release.
David Aspinall
2009-08-17
*
Set version tag for new release.
David Aspinall
2009-08-13
*
Set version tag for new release.
David Aspinall
2009-08-07
*
Set version tag for new release.
David Aspinall
2009-05-26
*
Set version tag for new release.
David Aspinall
2009-04-16
*
Set version tag for new release.
David Aspinall
2008-12-05
*
Set version tag for new release.
David Aspinall
2008-09-19
*
Remove XEmacs package, now single RPM.
David Aspinall
2008-08-03
*
Set version tag for new release.
David Aspinall
2008-07-23
*
Set version tag for new release.
David Aspinall
2008-07-22
*
Set version tag for new release.
David Aspinall
2008-07-19
*
Set version tag for new release.
David Aspinall
2008-07-17
*
Set version tag for new release.
David Aspinall
2008-07-12
*
Set version tag for new release.
David Aspinall
2008-07-10
*
Set version tag for new release.
David Aspinall
2008-07-08
*
Set version tag for new release.
David Aspinall
2008-07-07
*
Set version tag for new release.
David Aspinall
2008-07-06
*
Set version tag for new release.
David Aspinall
2008-07-05
*
Set version tag for new release.
David Aspinall
2008-05-26
*
Set version tag for new release.
David Aspinall
2008-02-17
*
Set version tag for new release.
David Aspinall
2008-02-06
[prev]
[next]