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 (
Collapse
)
Author
Age
...
*
Set version tag for new release.
David Aspinall
2007-11-12
|
*
Use %{version} tag in source file name
David Aspinall
2007-10-25
|
*
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
|
*
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
|
*
Tweak.
David Aspinall
2006-09-22
|
*
Set version tag for new release.
David Aspinall
2006-09-22
|
*
Packaging fixes: put isar/interface in right place; install examples and doc ↵
David Aspinall
2006-09-22
|
|
|
|
files from Makefile.
*
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
|
*
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
|
*
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
|
*
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
|
*
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
|
*
Set version tag for new release.
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
|
*
Set version tag for new release.
David Aspinall
2004-06-17
|
*
Set version tag for new release.
David Aspinall
2004-06-16
|
*
Set version tag for new release.
David Aspinall
2004-06-04
|
[prev]
[next]