Ori Bernstein 2652cbee57 proof: don't confuse ""(1) (thanks Stuart Morrow) ... "" looks for patterns in the form 'prompt;' or 'prompt%', and gets confused when proof emits 'illegal;'. This change replaces the ';' with a ':', which both matches other conventional error outputs and prevents "" from getting confused.		2020-11-30 13:13:49 -08:00
..
font.c
htroff.c	proof: don't confuse ""(1) (thanks Stuart Morrow)	2020-11-30 13:13:49 -08:00
main.c
mkfile
proof.h
screen.c