1 files changed, 0 insertions, 16 deletions
diff --git a/etc/isa/message-test.ML b/etc/isa/message-test.ML
deleted file mode 100644
index 4afd7120..00000000
--- a/etc/isa/message-test.ML
+++ /dev/null
@@ -1,16 +0,0 @@
-(* Testing different kinds of markup in Isabelle output *)
-
-(* ordinary output between prompts *)
-print "ordinary";
-print "ordinary\n";   (* final newline no difference *)
-
-(* eager annotation: displayed as soon as it's seen *)
-writeln "eager to be seen!";
-
-print "more ordinary\n";
-
-Goal "P-->P";
-
-(* C-c RET to here should show eager annotation, as well as
-   updating goals buffer properly. *)
-error "something went wrong";