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
1998-12-16
|
*
Included the rest of the info files in the package.
David Aspinall
1998-12-16
|
*
Set version tag for new release.
David Aspinall
1998-12-16
|
*
Set version tag for new release.
Thomas Kleymann
1998-12-16
|
*
Set version tag for new release.
Thomas Kleymann
1998-12-16
|
*
Set version tag for new release.
David Aspinall
1998-12-15
|
*
Set version tag for new release.
David Aspinall
1998-12-11
|
*
Set version tag for new release.
David Aspinall
1998-12-07
|
*
Set version tag for new release.
David Aspinall
1998-11-26
|
*
Set version tag for new release.
David Aspinall
1998-11-25
|
*
Emacs lovers become militant.
David Aspinall
1998-11-25
|
*
Set version tag for new release.
David Aspinall
1998-11-20
|
*
Set version tag for new release.
David Aspinall
1998-11-10
|
*
Set version tag for new release.
David Aspinall
1998-11-04
|
*
Set version tag for new release.
Thomas Kleymann
1998-11-03
|
*
Set version tag for new release.
Thomas Kleymann
1998-11-02
|
*
Set version tag for new release.
Thomas Kleymann
1998-10-30
|
*
Set version tag for new release.
David Aspinall
1998-10-29
|
*
Set version tag for new release.
proofgen
1998-10-28
|
*
Set version tag for new release.
proofgen
1998-10-28
|
*
Set version tag for new release.
Thomas Kleymann
1998-10-22
|
*
Set version tag for new release.
David Aspinall
1998-10-20
|
*
Set version tag for new release.
David Aspinall
1998-10-15
|
*
Set version tag for release.
David Aspinall
1998-10-14
|
*
Set version tag for release.
David Aspinall
1998-10-13
|
*
Set version tag for release.
David Aspinall
1998-10-12
|
*
Better summary line
David Aspinall
1998-10-08
|
*
Added fixup to specfile because dcs.ed has old RPM installed.
David Aspinall
1998-10-08
|
*
Set version tag for release.
David Aspinall
1998-10-08
|
*
Moved from /usr/lib to /usr/share
David Aspinall
1998-10-08
|
*
Adjusted for older rpm
David Aspinall
1998-10-01
|
*
Moved info file and binaries to proper places.
David Aspinall
1998-09-24
|
*
Moved to /usr/lib/emacs
David Aspinall
1998-09-24
|
*
Added %clean
David Aspinall
1998-09-24
|
*
Removed .orig files after patch
David Aspinall
1998-09-24
|
*
For building nice package on Linux.
David Aspinall
1998-09-24
[prev]