From ea1480aecc2bba99331d958f643570b7c8692ddf Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 7 Nov 2018 22:28:56 +0000
Subject: [PATCH] Re-enabled use of side_by_side_figure.

---
 .../TR_my_commented_isabelle/MyCommentedIsabelle.thy        | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy b/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy
index 62c2cea..371bf48 100644
--- a/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy
+++ b/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy
@@ -449,13 +449,13 @@ text\<open>  They reflect the Pure logic depicted in a number of presentations s
   M. Wenzel, \<^emph>\<open>Parallel Proof Checking in Isabelle/Isar\<close>, PLMMS 2009, or simiular papers.
   Notated as logical inference rules, these operations were presented as follows:
 \<close>
-(*
+
 side_by_side_figure*["text-elements"::side_by_side_figure,anchor="''fig-kernel1''",
                       caption="''Pure Kernel Inference Rules I ''",relative_width="48",
                       src="''figures/pure-inferences-I''",anchor2="''fig-kernel2''",
                       caption2="''Pure Kernel Inference Rules II''",relative_width2="47",
                       src2="''figures/pure-inferences-II''"]\<open>  \<close>
-*)
+
 
 figure*[kir1::figure,relative_width="100",src="''figures/pure-inferences-I''"]
        \<open> Pure Kernel Inference Rules I.\<close>
@@ -1341,4 +1341,4 @@ fun output ctxt prts =
 *}  
     
   
-end
\ No newline at end of file
+end