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.
NAMED_CRITICAL;
authorwenzelm
Sat, 18 Aug 2007 13:32:26 +0200
changeset 24324 9625e5bfa456
parent 24323 9aa7b5708eac
child 24325 5c29e8822f50
NAMED_CRITICAL;
src/Tools/Metis/metis.ML file | annotate | diff | comparison | revisions
src/Tools/Metis/src/PortableIsabelle.sml file | annotate | diff | comparison | revisions 
--- a/src/Tools/Metis/metis.ML	Sat Aug 18 13:32:25 2007 +0200
+++ b/src/Tools/Metis/metis.ML	Sat Aug 18 13:32:26 2007 +0200
@@ -82,7 +82,7 @@
 (* Critical section markup (multiprocessing)                                 *)
 (* ------------------------------------------------------------------------- *)
 
-val CRITICAL = CRITICAL;
+fun CRITICAL e = NAMED_CRITICAL "metis" e;
 
 end
 
--- a/src/Tools/Metis/src/PortableIsabelle.sml	Sat Aug 18 13:32:25 2007 +0200
+++ b/src/Tools/Metis/src/PortableIsabelle.sml	Sat Aug 18 13:32:26 2007 +0200
@@ -27,7 +27,7 @@
 (* Critical section markup (multiprocessing)                                 *)
 (* ------------------------------------------------------------------------- *)
 
-val CRITICAL = CRITICAL;
+fun CRITICAL e = NAMED_CRITICAL "metis" e;
 
 end
isabelle