index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
etc
/
ProofGeneral.spec
Age
Commit message (
Expand
)
Author
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
Set version tag for new release.
David Aspinall
2008-08-03
Remove XEmacs package, now single RPM.
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
Set version tag for new release.
David Aspinall
2008-01-30
Move to .tgz
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
Set version tag for new release.
David Aspinall
[next]