Log of /sci-mathematics/p9m4/metadata.xml
Parent Directory
|
Revision Log
Revision
1.1 -
(
view)
(
download)
(
as text)
(
annotate)
-
[select for diffs]
Sun Jan 8 14:48:52 2012 UTC
(17 months, 1 week ago)
by
gienah
Branch:
MAIN
New p9m4 prover9 mace4 gui ebuild by me fixes #398021
(Portage version: 2.1.10.44/cvs/Linux x86_64)
This form allows you to request diffs between any two revisions of this file.
For each of the two "sides" of the diff,
select a symbolic revision name using the selection box, or choose
'Use Text Field' and enter a numeric revision.
| Sticky Tag: |
|