forked from Isabelle_DOF/Isabelle_DOF
Removed no longer required inpara-package.
This commit is contained in:
parent
803fea739e
commit
e2a752ab55
|
@ -22,7 +22,6 @@
|
||||||
\usepackage{upquote}%
|
\usepackage{upquote}%
|
||||||
\usepackage{textcomp}
|
\usepackage{textcomp}
|
||||||
\usepackage{xcolor}
|
\usepackage{xcolor}
|
||||||
\usepackage{paralist}
|
|
||||||
\usepackage{listings}
|
\usepackage{listings}
|
||||||
\usepackage{listingsutf8}
|
\usepackage{listingsutf8}
|
||||||
\usepackage{lstisadof-manual}
|
\usepackage{lstisadof-manual}
|
||||||
|
|
Loading…
Reference in New Issue