Mercurial > hg > Applications > Lite

view init @ 19:e1d3145cff7a lite-verifier

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Thu, 30 Aug 2007 12:44:35 +0900
parents 1c57a78f1d98
children
line wrap: on
line source

%?-op(900,xfy,[(&),('&&')]).
%?-op(700,xfy,['<->','\=',proj]).
%?-op(600,xfy,['=>','<=']).
%?-op(60,fy,['~','#','<>', '@',^]).
%?-op(60,fy,[*]).
%?-op(1200,fy,[dynamic]).

:-[op].
make :- unix(system('make tmpa')),['.tmpc','.tmpl'].
?- unix(system('make tmpa')),['.tmpc','.tmpa'] ;

  ['ndcomp.pl','bdtstd.pl','chop.pl','diag.pl','ex.pl','cp.pl'].