equal
deleted
inserted
replaced
8 \isafoldtag{proof} |
8 \isafoldtag{proof} |
9 |
9 |
10 |
10 |
11 \title{Isabelle document preparation with Dagstuhl LIPIcs style} |
11 \title{Isabelle document preparation with Dagstuhl LIPIcs style} |
12 |
12 |
13 \author{Makarius Wenzel}{Augsburg, Germany \and \url{https://sketis.net}}{}{https://orcid.org/0000-0002-3753-8280}{} |
13 \author{Makarius Wenzel}{Augsburg, Germany \and \url{https://sketis.net}}{}{0000-0002-3753-8280}{} |
14 \authorrunning{M. Wenzel} |
14 \authorrunning{M. Wenzel} |
15 |
15 |
16 \Copyright{} |
16 \Copyright{} |
17 |
17 |
18 \ccsdesc[100]{General and reference~General literature} |
18 \ccsdesc[100]{General and reference~General literature} |