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-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
*
Set version tag for new release.
David Aspinall
2008-01-31
*
Set version tag for new release.
David Aspinall
2008-01-31
*
Move to .tgz
David Aspinall
2008-01-30
*
Set version tag for new release.
David Aspinall
2008-01-30
*
Set version tag for new release.
David Aspinall
2008-01-29
*
Set version tag for new release.
David Aspinall
2008-01-27
*
Set version tag for new release.
David Aspinall
2008-01-25
*
Set version tag for new release.
David Aspinall
2008-01-24
*
Set version tag for new release.
David Aspinall
2008-01-17
*
Set version tag for new release.
David Aspinall
2008-01-16
*
Set version tag for new release.
David Aspinall
2008-01-15
*
Set version tag for new release.
David Aspinall
2007-12-14
*
Set version tag for new release.
David Aspinall
2007-12-10
[prev]
[next]