diff inference.pl @ 33:d183277b4d93

refined the output message.
author "Rex Tsai <chihchun@kalug.linux.org.tw>"
date Sat, 11 Oct 2008 05:19:29 +0800
parents de5de6d472f9
children 91e387b51aa0
line wrap: on
line diff