# HG changeset patch
# User wenzelm
# Date 1363191325 -3600
# Node ID 821a70e29e0b43878f7c638be44af1bde30ffb7b
# Parent  b5d559b101d90e3edd9de7e9dcc4e1d6ab4b85da
proper formatting, to facilitate line-based diff;

diff -r b5d559b101d9 -r 821a70e29e0b src/HOL/ROOT
--- 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 {*