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/Doc/IsarImplementation/ML.thy
changeset 53982 f0ee92285221
parent 53739 599d8c324477
child 54387 890e983cb07b 
--- a/src/Doc/IsarImplementation/ML.thy	Sun Sep 29 12:44:40 2013 +0200
+++ b/src/Doc/IsarImplementation/ML.thy	Sun Sep 29 12:49:47 2013 +0200
@@ -2086,7 +2086,7 @@
 text {*
   %FIXME
 
-  See also @{"file" "~~/src/Pure/Concurrent/lazy.ML"}.
+  See also @{file "~~/src/Pure/Concurrent/lazy.ML"}.
 *}
 
 
@@ -2095,7 +2095,7 @@
 text {*
   %FIXME
 
-  See also @{"file" "~~/src/Pure/Concurrent/future.ML"}.
+  See also @{file "~~/src/Pure/Concurrent/future.ML"}.
 *}
isabelle