# HG changeset patch
# User bulwahn
# Date 1272031977 -7200
# Node ID 9eaaa05c972c14ac94605bd0192c79d80e2841da
# Parent  59a55dfa76d508276da8d1d64c22c0443dfe5c96
initialized atps reference with standard setup in the atp manager

diff -r 59a55dfa76d5 -r 9eaaa05c972c src/HOL/Tools/ATP_Manager/atp_manager.ML
--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Fri Apr 23 12:24:30 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Fri Apr 23 16:12:57 2010 +0200
@@ -112,7 +112,7 @@
 val message_store_limit = 20;
 val message_display_limit = 5;
 
-val atps = Unsynchronized.ref ""; (* set in "ATP_Wrapper" *)
+val atps = Unsynchronized.ref "e spass remote_vampire"; (* set in "ATP_Wrapper" *)
 val timeout = Unsynchronized.ref 60;
 val full_types = Unsynchronized.ref false;