76395
|
1 |
\documentclass[a4paper,UKenglish,cleveref,autoref]{lipics-v2021}
|
|
2 |
|
|
3 |
\usepackage{isabelle,isabellesym}
|
|
4 |
\isabellestyle{it}
|
|
5 |
|
|
6 |
\isadroptag{theory}
|
|
7 |
\isafoldtag{proof}
|
|
8 |
|
|
9 |
|
|
10 |
\title{Isabelle document preparation with Dagstuhl LIPIcs style}
|
|
11 |
|
|
12 |
\author{Makarius Wenzel}{Augsburg, Germany \and \url{https://sketis.net}}{}{https://orcid.org/0000-0002-3753-8280}{}
|
|
13 |
\authorrunning{M. Wenzel}
|
|
14 |
|
|
15 |
\Copyright{}
|
|
16 |
|
|
17 |
\ccsdesc[100]{General and reference~General literature}
|
|
18 |
\ccsdesc[100]{General and reference}
|
|
19 |
|
|
20 |
\keywords{Document preparation}
|
|
21 |
|
|
22 |
\category{}
|
|
23 |
|
|
24 |
\nolinenumbers
|
|
25 |
|
|
26 |
%\hideLIPIcs %uncomment to remove references to LIPIcs series (logo, DOI, ...), e.g. when preparing a pre-final version to be uploaded to arXiv or another public repository
|
|
27 |
|
|
28 |
%Editor-only macros:: begin (do not touch as author)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
29 |
\EventEditors{John Q. Open and Joan R. Access}
|
|
30 |
\EventNoEds{2}
|
|
31 |
\EventLongTitle{42nd Conference on Very Important Topics (CVIT 2016)}
|
|
32 |
\EventShortTitle{CVIT 2016}
|
|
33 |
\EventAcronym{CVIT}
|
|
34 |
\EventYear{2016}
|
|
35 |
\EventDate{December 24--27, 2016}
|
|
36 |
\EventLocation{Little Whinging, United Kingdom}
|
|
37 |
\EventLogo{}
|
|
38 |
\SeriesVolume{42}
|
|
39 |
\ArticleNo{23}
|
|
40 |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
41 |
|
|
42 |
\begin{document}
|
|
43 |
|
|
44 |
\maketitle
|
|
45 |
|
|
46 |
\begin{abstract}
|
|
47 |
Isabelle is a formal document preparation system. This example shows how to
|
|
48 |
use it together with the Dagstuhl LIPIcs style. See
|
|
49 |
\url{https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors}
|
|
50 |
for further information.
|
|
51 |
\end{abstract}
|
|
52 |
|
|
53 |
\input{session}
|
|
54 |
|
76441
|
55 |
\bibliographystyle{plainurl} %the mandatory bibstyle (e.g. from texlive-bibtex-extra)
|
76395
|
56 |
\bibliography{root}
|
|
57 |
|
|
58 |
\end{document}
|