Plan 9 from Bell Labs’s /usr/web/sources/plan9/sys/src/cmd/proof

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


--rw-rw-r-- bootes sys  9067 Oct  8  2010 font.c
--rw-rw-r-- bootes sys 10496 Apr  8  2000 htroff.c
--rw-rw-r-- bootes sys  3197 May  9  2008 main.c
--rw-rw-r-- glenda sys   180 Dec 12  1999 mkfile
--rw-rw-r-- glenda sys   919 Apr  8  2000 proof.h
--rw-rw-r-- glenda sys  6673 Mar  4  2008 screen.c

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to [email protected].