From a90e4e6a3f6db9fbed662c618d0450bcf0e8a882 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 30 Oct 2018 01:29:15 +0000 Subject: [PATCH] Added basic support for chapter*. --- Isa_DOF.thy | 7 ++++++- document-generator/latex/DOF-core.sty | 6 ++++++ 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/Isa_DOF.thy b/Isa_DOF.thy index 2ffef6f..4977bcd 100644 --- a/Isa_DOF.thy +++ b/Isa_DOF.thy @@ -19,7 +19,7 @@ theory Isa_DOF (* Isabelle Document Ontology Framework *) keywords "+=" ":=" and "title*" "subtitle*" - "section*" "subsection*" "subsubsection*" + "chapter*" "section*" "subsection*" "subsubsection*" "text*" "paragraph*" "subparagraph*" "figure*" @@ -980,6 +980,11 @@ val _ = (attributes -- Parse.opt_target -- Parse.document_source --| semi >> enriched_document_command {markdown = false}); +val _ = + Outer_Syntax.command ("chapter*", @{here}) "section heading" + (attributes -- Parse.opt_target -- Parse.document_source --| semi + >> enriched_document_command {markdown = false}); + val _ = Outer_Syntax.command ("section*", @{here}) "section heading" (attributes -- Parse.opt_target -- Parse.document_source --| semi diff --git a/document-generator/latex/DOF-core.sty b/document-generator/latex/DOF-core.sty index 9c27b8f..d06cc33 100644 --- a/document-generator/latex/DOF-core.sty +++ b/document-generator/latex/DOF-core.sty @@ -134,6 +134,12 @@ \newkeycommand\isaDofDeclareReferenceTextSection[label=,type=]{} \newkeycommand\isaDofDeclareReferenceFigure[label=,type=]{} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% begin: chapter* +\NewEnviron{isamarkupchapter*}[1][]{\isaDof[env={chapter},#1]{\BODY}} +% end: chapter* +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % begin: section* \NewEnviron{isamarkupsection*}[1][]{\isaDof[env={section},#1]{\BODY}}