David Pursehouse f4fff188ba Merge "Merge branch 'stable-2.10' into stable-2.11" into stable-2.11

2015-03-25 20:27:03 +00:00

..

src

Merge "Merge branch 'stable-2.10' into stable-2.11" into stable-2.11

2015-03-25 20:27:03 +00:00

BUCK

Limit number of reductions made by Prolog

2014-12-18 04:35:28 +00:00