equal
deleted
inserted
replaced
1 % into "root.tex" as created by "isabelle mkdir" |
1 % into "root.tex" as created by "isabelle mkdir" |
2 % code from "llncs/samplepaper.tex" is inserted |
2 % code from "llncs/samplepaper.tex" is inserted -- llncs NOT COMPATIBLE WITH package isabelle |
3 |
3 |
4 \documentclass{article} |
4 \documentclass{article} |
5 \usepackage{isabelle,isabellesym} |
5 \usepackage{isabelle,isabellesym} |
6 \usepackage{graphicx} |
6 \usepackage{graphicx} |
7 %\usepackage{hyperref} %\url{...} don't use together with isabelle,isabellesym |
7 %\usepackage{hyperref} %\url{...} don't use together with isabelle,isabellesym |