
diff -r fc346faada4e -r 232aa2f19a75 thys/Journal/document/root.tex
--- a/thys/Journal/document/root.tex	Sun Oct 10 01:40:30 2021 +0100
+++ b/thys/Journal/document/root.tex	Sun Oct 10 09:56:01 2021 +0100
@@ -1,5 +1,5 @@
 \documentclass[runningheads]{llncs}
-\usepackage{times}
+%%\usepackage{times}
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{amsmath}
@@ -13,7 +13,9 @@
 \usepackage{url}
 \usepackage{color}
 \usepackage[safe]{tipa}
+\usepackage[sc]{mathpazo}
 \usepackage{fontspec}
+\setmainfont[Ligatures=TeX]{Palatino Linotype}
 
 
 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions}




