forked from Isabelle_DOF/Isabelle_DOF
Added note about the state of the document.
This commit is contained in:
parent
1fa3a531d6
commit
c32425a334
|
@ -42,7 +42,23 @@
|
||||||
\newcommand{\eg}{e.g.}
|
\newcommand{\eg}{e.g.}
|
||||||
|
|
||||||
|
|
||||||
|
\subject{Example of an Academic Paper\footnote{%
|
||||||
|
This document is an example setup for writing academic paper. While
|
||||||
|
it is optimized for Springer's LNCS class, it uses a Koma Script
|
||||||
|
LaTeX class to avoid the need for distributing \texttt{llncs.cls},
|
||||||
|
which would violate Springer's copyright. This example has been
|
||||||
|
published at CICM 2018:
|
||||||
|
\protect\begin{quote}
|
||||||
|
Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, and
|
||||||
|
Burkhart Wolff. Using The Isabelle Ontology Framework: Linking
|
||||||
|
the Formal with the Informal. In Conference on Intelligent
|
||||||
|
Computer Mathematics (CICM). Lecture Notes in Computer Science
|
||||||
|
(11006), Springer-Verlag, 2018.
|
||||||
|
\protect\end{quote}
|
||||||
|
Note that the content of this example is not updated and, hence,
|
||||||
|
might not be correct with respect to the latest version of
|
||||||
|
\isadof{}.
|
||||||
|
}}
|
||||||
|
|
||||||
%%% Local Variables:
|
%%% Local Variables:
|
||||||
%%% mode: latex
|
%%% mode: latex
|
||||||
|
|
Loading…
Reference in New Issue