# HG changeset patch
# User wenzelm
# Date 1357129210 -3600
# Node ID a0888c03a727e6205f12f009fb57d8e656663c51
# Parent  935988e2b35a1137f8799eb543d198af5f91bc23
removed outdated comment;

diff -r 935988e2b35a -r a0888c03a727 src/Pure/System/invoke_scala.ML
--- a/src/Pure/System/invoke_scala.ML	Wed Jan 02 13:06:54 2013 +0100
+++ b/src/Pure/System/invoke_scala.ML	Wed Jan 02 13:20:10 2013 +0100
@@ -2,8 +2,6 @@
     Author:     Makarius
 
 JVM method invocation service via Isabelle/Scala.
-
-TODO: proper cancellation!
 *)
 
 signature INVOKE_SCALA =