diff --git a/src/document-templates/root-eptcs-UNSUPPORTED.tex b/src/document-templates/root-eptcs-UNSUPPORTED.tex index bcc5047..bd8ef96 100644 --- a/src/document-templates/root-eptcs-UNSUPPORTED.tex +++ b/src/document-templates/root-eptcs-UNSUPPORTED.tex @@ -1,6 +1,6 @@ -%% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud -%% 2019 The University of Exeter +%% Copyright (c) 2019 University of Exeter +%% 2018-2019 University of Paris-Sud +%% 2018-2019 The University of Sheffield %% %% License: %% This program can be redistributed and/or modified under the terms @@ -14,7 +14,11 @@ %% Warning: Do Not Edit! %% ===================== -%% This is the root file for the Isabelle/DOF using +%% This is the root file for the Isabelle/DOF using the eptcs class. +%% Note that eptcs cannot be distributed as part of Isabelle/DOF; you need +%% to download eptcs.cls from http://eptcs.web.cse.unsw.edu.au/style.shtml +%% and add it manually to the praemble.tex and the ROOT file. +%% %% All customization and/or additional packages should be added to the file %% preamble.tex. diff --git a/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex b/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex index c347f52..a0bfc86 100644 --- a/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex +++ b/src/document-templates/root-lipics-v2019-UNSUPPORTED.tex @@ -1,5 +1,6 @@ -%% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% Copyright (c) 2019 University of Exeter +%% 2018-2019 University of Paris-Sud +%% 2018-2019 The University of Sheffield %% %% License: %% This program can be redistributed and/or modified under the terms @@ -13,9 +14,14 @@ %% Warning: Do Not Edit! %% ===================== -%% This is the root file for the Isabelle/DOF using Springer's llncs.cls. -%% All customization and/or additional packages should be added to the file -%% preamble.tex. +%% This is the root file for the Isabelle/DOF using the lipics class. +%% Note that lipics cannot be distributed as part of Isabelle/DOF; you need +%% to download lipics.cls from +%% https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ +%% and add it manually to the praemble.tex and the ROOT file. +%% +%% All customization and/or additional packages should be added to the file +%% preamble.tex. \documentclass[a4paper,USenglish,cleveref, autoref]{lipics-v2019} \bibliographystyle{plainurl}% the mandatory bibstyle diff --git a/src/document-templates/root-lncs.tex b/src/document-templates/root-lncs.tex index 4497cf5..f2aec9e 100644 --- a/src/document-templates/root-lncs.tex +++ b/src/document-templates/root-lncs.tex @@ -1,5 +1,6 @@ -%% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% Copyright (c) 2019 University of Exeter +%% 2018-2019 University of Paris-Sud +%% 2018-2019 The University of Sheffield %% %% License: %% This program can be redistributed and/or modified under the terms @@ -13,9 +14,14 @@ %% Warning: Do Not Edit! %% ===================== -%% This is the root file for the Isabelle/DOF using Springer's llncs.cls. -%% All customization and/or additional packages should be added to the file -%% preamble.tex. +%% This is the root file for the Isabelle/DOF using the lncs class. +%% Note that lncs cannot be distributed as part of Isabelle/DOF; you need +%% to download lncs.cls from +%% https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines +%% and add it manually to the praemble.tex and the ROOT file. +%% +%% All customization and/or additional packages should be added to the file +%% preamble.tex. \RequirePackage{ifvtex} \documentclass{llncs} diff --git a/src/document-templates/root-scrartcl.tex b/src/document-templates/root-scrartcl.tex index d9a2ba9..5d3b793 100644 --- a/src/document-templates/root-scrartcl.tex +++ b/src/document-templates/root-scrartcl.tex @@ -1,5 +1,6 @@ -%% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% Copyright (c) 2019 University of Exeter +%% 2018-2019 University of Paris-Sud +%% 2018-2019 The University of Sheffield %% %% License: %% This program can be redistributed and/or modified under the terms @@ -13,10 +14,10 @@ %% Warning: Do Not Edit! %% ===================== -%% This is the root file for the Isabelle/DOF. -%% All customization and/or additional packages should be added to the file -%% preamble.tex. - +%% This is the root file for the Isabelle/DOF using the scrartcl class. +%% +%% All customization and/or additional packages should be added to the file +%% preamble.tex. \RequirePackage{ifvtex} \documentclass[fontsize=11pt,DIV=12,paper=a4]{scrartcl} diff --git a/src/document-templates/root-scrreprt.tex b/src/document-templates/root-scrreprt.tex index 9332286..2c0b098 100644 --- a/src/document-templates/root-scrreprt.tex +++ b/src/document-templates/root-scrreprt.tex @@ -1,5 +1,6 @@ -%% Copyright (C) 2018 The University of Sheffield -%% 2018 The University of Paris-Sud +%% Copyright (c) 2019 University of Exeter +%% 2018-2019 University of Paris-Sud +%% 2018-2019 The University of Sheffield %% %% License: %% This program can be redistributed and/or modified under the terms @@ -13,10 +14,10 @@ %% Warning: Do Not Edit! %% ===================== -%% This is the root file for the Isabelle/DOF. -%% All customization and/or additional packages should be added to the file -%% preamble.tex. - +%% This is the root file for the Isabelle/DOF using the scrreprt class. +%% +%% All customization and/or additional packages should be added to the file +%% preamble.tex. \RequirePackage{ifvtex} \documentclass[fontsize=10pt,DIV=12,paper=a4,open=right,twoside,abstract=true]{scrreprt}