Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed dead code;
authorwenzelm
Thu, 09 Sep 2010 18:18:34 +0200
changeset 39237 be1acdcd55dc
parent 39236 2ec7afadc344
child 39238 7189a138dd6c
removed dead code;
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/toplevel.ML	Thu Sep 09 18:17:34 2010 +0200
+++ b/src/Pure/Isar/toplevel.ML	Thu Sep 09 18:18:34 2010 +0200
@@ -30,7 +30,6 @@
   val timing: bool Unsynchronized.ref
   val profiling: int Unsynchronized.ref
   val skip_proofs: bool Unsynchronized.ref
-  exception TOPLEVEL_ERROR
   val program: (unit -> 'a) -> 'a
   val thread: bool -> (unit -> unit) -> Thread.thread
   type transition
@@ -222,8 +221,6 @@
 val profiling = Unsynchronized.ref 0;
 val skip_proofs = Unsynchronized.ref false;
 
-exception TOPLEVEL_ERROR = Runtime.TOPLEVEL_ERROR;
-
 fun program body =
  (body
   |> Runtime.controlled_execution
isabelle