arith_diff test ok
authorStefan Israelsson Tampe <stefan.itampe@gmail.com>
Thu, 28 Nov 2013 20:24:38 +0000 (21:24 +0100)
committerStefan Israelsson Tampe <stefan.itampe@gmail.com>
Thu, 28 Nov 2013 20:24:38 +0000 (21:24 +0100)
commitb60d79eb7bb4935b30ca68689d564878f8534e92
tree225b0300c4ed41a20ca200cb6227819728994ac5
parent4e709c02f056d032c22388140ebac25e72122e46
arith_diff test ok
logic/guile-log/iso-prolog/inriasuite/arith_diff
logic/guile-log/prolog/error.scm
logic/guile-log/prolog/goal-transformers.scm
logic/guile-log/prolog/run.scm