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.
exception Interrupt = SML90.Interrupt;
authorwenzelm
Fri, 24 Nov 2000 14:09:09 +0100
changeset 10518 20d4899f5d48
parent 10517 b9f7adf3ff11
child 10519 ade64af4c57c
exception Interrupt = SML90.Interrupt;
src/Pure/ML-Systems/polyml-4.0.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/polyml-4.0.ML	Fri Nov 24 11:07:38 2000 +0100
+++ b/src/Pure/ML-Systems/polyml-4.0.ML	Fri Nov 24 14:09:09 2000 +0100
@@ -96,7 +96,7 @@
 
 (** interrupts **)
 
-exception Interrupt;
+exception Interrupt = SML90.Interrupt;
 
 local
isabelle