Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF

Added isaDof.subsection.scholarly_paper.conclusion.
2019-03-25 12:23:00 +00:00 · 2019-03-25 12:22:46 +00:00
1 changed files with 11 additions and 0 deletions
--- a/document-generator/latex/DOF-scholarly_paper.sty
+++ b/document-generator/latex/DOF-scholarly_paper.sty
@ -242,6 +242,17 @@
 % end: scholarly_paper.conclusion
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% begin: scholarly_paper.conclusion
+\expandafter\newkeycommand\csname isaDof.subsection.scholarly_paper.conclusion\endcsname%
+[label=,type=%
+,scholarly_paper.text_section.main_author=%
+,scholarly_paper.text_section.fixme_list=%
+][1]{%
+  \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue%
+}
+% end: scholarly_paper.conclusion
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % begin: scholarly_paper.bibliography
 \expandafter\newkeycommand\csname isaDof.section.scholarly_paper.bibliography\endcsname%
Author	SHA1	Message	Date
Achim D. Brucker	13db9a9e77	Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF HOL-OCL/Isabelle_DOF/master There was a failure building this commit Details	2019-03-25 12:23:00 +00:00
Achim D. Brucker	13b06fdce7	Added isaDof.subsection.scholarly_paper.conclusion.	2019-03-25 12:22:46 +00:00