Mercurial > hg > Applications > Lite
diff lite.pl @ 19:e1d3145cff7a lite-verifier
*** empty log message ***
author | kono |
---|---|
date | Thu, 30 Aug 2007 12:44:35 +0900 |
parents | f2aa38ce0787 |
children |
line wrap: on
line diff
--- a/lite.pl Sun Jan 21 10:21:43 2001 +0900 +++ b/lite.pl Thu Aug 30 12:44:35 2007 +0900 @@ -34,7 +34,7 @@ %?-op(60,fy,[*]). ?-[op]. % :- use_module(library(gmlib)). -:- ensure_loaded([dvcomp,rstd,chop,diag,kiss,ex,cp,infinite]). +:- ensure_loaded([dvcomp,rstd,chop,diag,kiss,ex,cp]). % ,display]). % end