# HG changeset patch
# User wenzelm
# Date 1540203738 -7200
# Node ID dff89effe26b516b149b7926fa6719b2e2aaaf9e
# Parent  242d4eb3407fd055d625a7719e0f46d3ff4601d2
proper chapter;

diff -r 242d4eb3407f -r dff89effe26b src/Tools/ROOT
--- a/src/Tools/ROOT	Mon Oct 22 11:57:52 2018 +0200
+++ b/src/Tools/ROOT	Mon Oct 22 12:22:18 2018 +0200
@@ -1,3 +1,5 @@
+chapter Tools
+
 session Spec_Check in Spec_Check = Pure +
   theories
     Spec_Check