repos
/
plan9port.git
/
commits
/
src
/
cmd
/
proof
/ proof.h
Commits
Commit:
020c80587a21a72ca8f9a503640c4234c289a19a
From:
rsc <devnull@localhost>
Date:
Tue Jan 4 21:24:19 2005 UTC
an old saddle
diff
|
patch
|
tree