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.
proper formatting, to facilitate line-based diff;
authorwenzelm
Wed, 13 Mar 2013 17:15:25 +0100
changeset 51422 821a70e29e0b
parent 51421 b5d559b101d9
child 51423 e5f9a6d9ca82
proper formatting, to facilitate line-based diff;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Wed Mar 13 17:13:22 2013 +0100
+++ b/src/HOL/ROOT	Wed Mar 13 17:15:25 2013 +0100
@@ -210,7 +210,12 @@
 
 session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Library" +
   options [document = false, document_graph = false, browser_info = false]
-  theories Generate Generate_Binary_Nat Generate_Target_Nat Generate_Efficient_Datastructures Generate_Pretty_Char
+  theories
+    Generate
+    Generate_Binary_Nat
+    Generate_Target_Nat
+    Generate_Efficient_Datastructures
+    Generate_Pretty_Char
 
 session "HOL-Metis_Examples" in Metis_Examples = HOL +
   description {*
isabelle