git.lizzy.rs Git - plan9front.git/tree - sys/src/cmd/proof/

]> git.lizzy.rs Git - plan9front.git/tree - sys/src/cmd/proof/

projects / plan9front.git / tree

summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot

[plan9front.git] / sys / src / cmd / proof /

drwxr-xr-x		..
-rw-r--r--	9067	font.c	blob \| history \| raw
-rw-r--r--	10496	htroff.c	blob \| history \| raw
-rw-r--r--	3197	main.c	blob \| history \| raw
-rw-r--r--	180	mkfile	blob \| history \| raw
-rw-r--r--	919	proof.h	blob \| history \| raw
-rw-r--r--	6673	screen.c	blob \| history \| raw

some kind of operating system. [Forked from http://git.9front.org/plan9front/plan9front/HEAD/info.html]