26 Apr
2004
26 Apr
'04
10:41 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2004-04-26 22:41:09
Modified files: interfaces/Prolog: pl_check.pl
Log message: Bug fixed in "format_banner" code. Definitions of "make_noisy" and "make_quiet" corrected. Added a new top-level predicate "check_noisy/0" since "check_all" is now forced to be quiet. A redundant temporary test removed.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl....