Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Metis/src/PortableIsabelle.sml
changeset 24316 3880d21d6013
parent 23442 028e39e5e8f3
child 24324 9625e5bfa456 
--- a/src/Tools/Metis/src/PortableIsabelle.sml	Fri Aug 17 23:10:49 2007 +0200
+++ b/src/Tools/Metis/src/PortableIsabelle.sml	Fri Aug 17 23:10:50 2007 +0200
@@ -23,6 +23,12 @@
 
 val time = timeap;
 
+(* ------------------------------------------------------------------------- *)
+(* Critical section markup (multiprocessing)                                 *)
+(* ------------------------------------------------------------------------- *)
+
+val CRITICAL = CRITICAL;
+
 end
 
 (* ------------------------------------------------------------------------- *)
isabelle