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

Copyright © 2009 Alcatel-Lucent.
Distributed under the Lucent Public License version 1.02.
Download the Plan 9 distribution.


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

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2009 Alcatel-Lucent. All Rights Reserved.
Comments to webmaster@plan9.bell-labs.com.