--- a/src/Pure/Tools/isabelle_process.ML Thu Mar 27 15:32:12 2008 +0100
+++ b/src/Pure/Tools/isabelle_process.ML Thu Mar 27 15:32:15 2008 +0100
@@ -160,7 +160,7 @@
in
-val _ = Context.add_setup (Sign.add_tokentrfuns token_trans);
+val _ = Context.>> (Sign.add_tokentrfuns token_trans);
end;