|
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 \bibliographystyle{plainurl}% the mandatory bibstyle (e.g. from texlive-bibtex-extra) |
|
11 |
|
12 \title{Isabelle document preparation with Dagstuhl LIPIcs style} |
|
13 |
|
14 \author{Makarius Wenzel}{Augsburg, Germany \and \url{https://sketis.net}}{}{https://orcid.org/0000-0002-3753-8280}{} |
|
15 \authorrunning{M. Wenzel} |
|
16 |
|
17 \Copyright{} |
|
18 |
|
19 \ccsdesc[100]{General and reference~General literature} |
|
20 \ccsdesc[100]{General and reference} |
|
21 |
|
22 \keywords{Document preparation} |
|
23 |
|
24 \category{} |
|
25 |
|
26 \nolinenumbers |
|
27 |
|
28 %\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 |
|
29 |
|
30 %Editor-only macros:: begin (do not touch as author)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
31 \EventEditors{John Q. Open and Joan R. Access} |
|
32 \EventNoEds{2} |
|
33 \EventLongTitle{42nd Conference on Very Important Topics (CVIT 2016)} |
|
34 \EventShortTitle{CVIT 2016} |
|
35 \EventAcronym{CVIT} |
|
36 \EventYear{2016} |
|
37 \EventDate{December 24--27, 2016} |
|
38 \EventLocation{Little Whinging, United Kingdom} |
|
39 \EventLogo{} |
|
40 \SeriesVolume{42} |
|
41 \ArticleNo{23} |
|
42 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
43 |
|
44 \begin{document} |
|
45 |
|
46 \maketitle |
|
47 |
|
48 \begin{abstract} |
|
49 Isabelle is a formal document preparation system. This example shows how to |
|
50 use it together with the Dagstuhl LIPIcs style. See |
|
51 \url{https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors} |
|
52 for further information. |
|
53 \end{abstract} |
|
54 |
|
55 \input{session} |
|
56 |
|
57 \bibliography{root} |
|
58 |
|
59 \end{document} |