1.1 --- a/src/Tools/isac/Doc/Lucas_Interpreter/document/root.tex	Sun Apr 04 12:29:42 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/Lucas_Interpreter/document/root.tex	Sun Apr 04 13:31:04 2021 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  % into "root.tex" as created by "isabelle mkdir"
     1.5 -%  code from "llncs/samplepaper.tex" is inserted
     1.6 +%  code from "llncs/samplepaper.tex" is inserted -- llncs NOT COMPATIBLE WITH package isabelle
     1.7  
     1.8  \documentclass{article}
     1.9  \usepackage{isabelle,isabellesym}