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.
tuned
authorhaftmann
Thu, 15 Jan 2015 13:39:41 +0100
changeset 59379 c7f6f01ede15
parent 59378 065f349852e6
child 59380 e7d237c2ce93
child 59381 de4218223e00
tuned
src/Doc/Codegen/Adaptation.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/Codegen/Adaptation.thy	Thu Jan 15 13:39:41 2015 +0100
+++ b/src/Doc/Codegen/Adaptation.thy	Thu Jan 15 13:39:41 2015 +0100
@@ -370,7 +370,8 @@
 \<close>
 
 code_printing %quotett
-  code_module "Errno" \<rightharpoonup> (Haskell) \<open>errno i = error ("Error number: " ++ show i)\<close>
+  code_module "Errno" \<rightharpoonup> (Haskell)
+    \<open>errno i = error ("Error number: " ++ show i)\<close>
 
 code_reserved %quotett Haskell Errno
isabelle