# HG changeset patch
# User wenzelm
# Date 1249485010 -7200
# Node ID e60684ecaf3defbf6bd389b220f1060433e0dfa1
# Parent  4c21851036bf5fbc331f3f32f35b526beb203806
settings for ATP_Manager component;

diff -r 4c21851036bf -r e60684ecaf3d src/HOL/Tools/ATP_Manager/etc/settings
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Tools/ATP_Manager/etc/settings	Wed Aug 05 17:10:10 2009 +0200
@@ -0,0 +1,2 @@
+ISABELLE_ATP_MANAGER="$COMPONENT"
+