
diff -r e1b74d618f1b -r dac6d27c99c6 thys2/Paper/document/root.tex
--- a/thys2/Paper/document/root.tex	Thu Jan 27 23:25:26 2022 +0000
+++ b/thys2/Paper/document/root.tex	Fri Jan 28 12:02:25 2022 +0000
@@ -45,6 +45,7 @@
 \titlerunning{POSIX Lexing with Bitcoded Derivatives}
 \author{Chengsong Tan}{King's College London}{chengsong.tan@kcl.ac.uk}{}{}
 \author{Christian Urban}{King's College London}{christian.urban@kcl.ac.uk}{}{}
+\authorrunning{C.~Tan and C.~Urban}
 \keywords{POSIX matching, Derivatives of Regular Expressions, Isabelle/HOL}
 \category{}
 \ccsdesc[100]{Design and analysis of algorithms}




