Christian Halstrick 2f94e2e562 Add "aggressive" option to REST call "Run GC" ... When triggering a garbage collection through REST it can be specified whether to run an aggressive garbage collection or not. Change-Id: If7472805331ea07e2d83f13d513c06a2203a1b94		2015-03-19 15:43:49 +01:00
..
src	Add "aggressive" option to REST call "Run GC"	2015-03-19 15:43:49 +01:00
BUCK	Limit number of reductions made by Prolog	2014-12-18 04:35:28 +00:00