Martin Fick f39eb0617e Merge "Split the ChangeHooks interface in 2"		2015-02-12 17:52:30 +00:00
..
src	Merge "Split the ChangeHooks interface in 2"	2015-02-12 17:52:30 +00:00
BUCK	Limit number of reductions made by Prolog	2014-12-18 04:35:28 +00:00