Research V3 development
authorMichael E. Lesk <mel@research.uucp>
Mon, 12 Feb 1973 12:30:09 +0000 (07:30 -0500)
committerMichael E. Lesk <mel@research.uucp>
Mon, 12 Feb 1973 12:30:09 +0000 (07:30 -0500)
commit8c334027e3749c5fc8ea4546ea93b3e7e60889f1
tree15f8bcef5c9324d8fafafe1fdf1713cfb495ce0f
parentf78da8f220e21e93a660ab1e4324d51d4b5b5e1c
Research V3 development
Work on file man/man1/proof.1

Synthesized-from: v3
man/man1/proof.1 [new file with mode: 0644]