Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Merge branch 'main' into isabelle_nightly
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Achim D. Brucker 2023-08-31 08:27:53 +01:00
parent 4393042f2c 342984df3b
commit e4ee3ff240
11 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Isabelle_DOF-Ontologies/document-templates/root-beamer-UNSUPPORTED.tex
View File

@ -21,6 +21,7 @@
\RequirePackage{ifvtex}
\documentclass[16x9,9pt]{beamer}
\PassOptionsToPackage{force}{DOF-scholarly_paper}
\title{No Title Given}
\usepackage{DOF-core}
\usepackage{textcomp}

1
Isabelle_DOF-Ontologies/document-templates/root-beamerposter-UNSUPPORTED.tex
View File

@ -21,6 +21,7 @@
\RequirePackage{ifvtex}
\documentclass[]{beamer}
\PassOptionsToPackage{force}{DOF-scholarly_paper}
\title{No Title Given}
\usepackage{beamerposter}
\usepackage{DOF-core}

1
Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex
View File

@ -23,6 +23,7 @@
%% preamble.tex.
\documentclass[submission,copyright,creativecommons]{eptcs}
\title{No Title Given}
\usepackage{DOF-core}
\bibliographystyle{eptcs}% the mandatory bibstyle

1
Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex
View File

@ -25,6 +25,7 @@
\documentclass[a4paper,UKenglish,cleveref, autoref,thm-restate]{lipics-v2021}
\bibliographystyle{plainurl}% the mandatory bibstyle
\title{No Title Given}
\usepackage[numbers, sort&compress, sectionbib]{natbib}
\usepackage{DOF-core}

1
Isabelle_DOF-Ontologies/document-templates/root-sn-article-UNSUPPORTED.tex
View File

@ -21,6 +21,7 @@
\documentclass[iicol]{sn-jnl}
\PassOptionsToPackage{force}{DOF-scholarly_paper}
\title{No Title Given}
\usepackage{DOF-core}
\bibliographystyle{sn-basic}
\let\proof\relax

1
Isabelle_DOF-Ontologies/document-templates/root-svjour3-UNSUPPORTED.tex
View File

@ -23,6 +23,7 @@
\RequirePackage{fix-cm}
\documentclass[]{svjour3}
\title{No Title Given}
\usepackage{DOF-core}
\usepackage{mathptmx}
\bibliographystyle{abbrvnat}

2
Isabelle_DOF/latex/document-templates/root-lncs.tex
View File

@ -23,7 +23,7 @@
\documentclass{llncs}
\usepackage{DOF-core}
\bibliographystyle{splncs04}
\title{No Title Given}
\usepackage{hyperref}
\setcounter{tocdepth}{3}
\hypersetup{%

1
Isabelle_DOF/latex/document-templates/root-scrartcl.tex
View File

@ -22,6 +22,7 @@
\RequirePackage{ifvtex}
\documentclass[abstract=true,fontsize=11pt,DIV=12,paper=a4]{scrartcl}
\title{No Title Given}
\usepackage{DOF-core}
\usepackage{textcomp}

1
Isabelle_DOF/latex/document-templates/root-scrreprt-modern.tex
View File

@ -24,6 +24,7 @@
\RequirePackage{ifvtex}
\documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
\title{No Title Given}
\usepackage{textcomp}
\bibliographystyle{abbrvnat}

1
Isabelle_DOF/latex/document-templates/root-scrreprt.tex
View File

@ -21,6 +21,7 @@
\RequirePackage{ifvtex}
\documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
\title{No Title Given}
\usepackage{DOF-core}

10
Isabelle_DOF/latex/styles/DOF-core.sty
View File

@ -156,17 +156,17 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% begin: label and ref
\newkeycommand\isaDof@label[label=,type=][1]{\label{#1}}
\def\isaDofDOTlabel{\isaDof@label}
\newcommand{\isaDofDOTlabel}{\isaDof@label}
\newkeycommand\isaDof@ref[label=,type=][1]{\autoref{#1}}
\def\isaDofDOTref{\isaDof@ref}
\newcommand{\isaDofDOTref}{\isaDof@ref}
\newkeycommand\isaDof@macro[label=,type=][1]{MMM \label{#1}} %% place_holder
\def\isaDofDOTmacroDef{\iisaDof@macro}
\newcommand{\isaDofDOTmacroDef}{\iisaDof@macro}
\newkeycommand\isaDof@macroExp[label=,type=][1]{MMM \autoref{#1}} %% place_holder
\def\isaDofDOTmacroExp{\isaDof@macroExp}
\newcommand{\isaDofDOTmacroExp}{\isaDof@macroExp}
% end: label and ref
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\title{No Title Given}
%\title{No Title Given}
\input{ontologies}
\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%