From 774a5f20e8838b2a1878640e0f4ae95c781acd64 Mon Sep 17 00:00:00 2001
From: bu <wolff@lri.fr>
Date: Mon, 11 Jun 2018 18:10:45 +0200
Subject: [PATCH] sideBySide

---
 Isa_DOF.thy | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Isa_DOF.thy b/Isa_DOF.thy
index 2e52b13..032153e 100644
--- a/Isa_DOF.thy
+++ b/Isa_DOF.thy
@@ -16,9 +16,9 @@ theory Isa_DOF   (* Isabelle Document Ontology Framework *)
 
   and      "title*"      "subtitle*"
            "section*"    "subsection*"   "subsubsection*" 
-           "figure*"     "side_by_side_figure*" 
+           "figure*"     "sideBySideFigure*" 
            "paragraph*"  "subparagraph*" 
-           "text*"  :: thy_decl
+           "text*"       :: thy_decl
            
   and      "open_monitor*" "close_monitor*" "declare_reference*" 
            "update_instance*" "doc_class" ::thy_decl
@@ -547,7 +547,7 @@ val _ =
       >> enriched_document_command {markdown = false});
 
 val _ =
-  Outer_Syntax.command ("side_by_side_figure*", @{here}) "paragraph heading"
+  Outer_Syntax.command ("sideBySideFigure*", @{here}) "paragraph heading"
     (attributes --  Parse.opt_target -- Parse.document_source --| semi
       >> enriched_document_command {markdown = false});