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
..
doc	/sys/doc: fix mkfile to and remove files that now can be regenerated	2017-05-09 16:23:48 +02:00
games/lib	fortunes: As much as I'd love to I feel I have to let it go -- rminnich	2020-04-18 21:37:53 -04:00
include	libbio: add aux pointer to bio	2020-11-01 11:42:54 -08:00
lib	kbmap/neo2: add support for neo2 kbmak (thanks jstsmthrgk)	2020-11-26 11:18:41 -08:00
man	tmdate(2): remove lies	2020-11-30 07:41:49 -08:00
src	proof: don't confuse ""(1) (thanks Stuart Morrow)	2020-11-30 13:13:49 -08:00