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

Removed non-distribution note for llncs.cls. This class is now available on CTAN and part of TeXLive (at least from version 2022).
ci/woodpecker/push/build Pipeline failed Details

This commit is contained in:
Achim D. Brucker 2022-03-26 21:31:05 +00:00
parent 57b9720d99
commit 05e85edd91
2 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
View File

@ -1230,8 +1230,7 @@ text\<open>
Note that the postfix \<^boxed_bash>\<open>-UNSUPPORTED\<close> denotes experimental ontologies or templates
for which further manual setup steps might be required or that are not fully tested. Also note
that the \<^LaTeX>-class files required by the templates need to be already installed on your
system. This is mostly a problem for publisher specific templates (\<^eg>, Springer's
\<^path>\<open>llncs.cls\<close>), which cannot be re-distributed due to copyright restrictions.
system. This is mostly a problem for publisher specific templates, which cannot be re-distributed due to copyright restrictions.
\<close>
subsection\<open>Developing Ontologies and their Representation Mappings\<close>

4
src/document-templates/root-lncs.tex
View File

@ -17,10 +17,6 @@
%% Warning: Do Not Edit!
%% =====================
%% 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.