Commit 6acff717 authored by wenzelm's avatar wenzelm
Browse files

fewer warnings;

parent 0289bbfabe30
\documentclass[11pt,a4paper,openright,twoside,abstracton]{scrreprt}
\documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
\usepackage{fixltx2e}
\usepackage{isabelle,isabellesym}
\usepackage[nocolortable, noaclist]{hol-ocl-isar}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment