History log of /seL4-l4v-master/l4v/tools/autocorres/doc/quickstart/document/ulem.sty
Revision Date Author Comments
# 3101eba8 20-Aug-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

remove trailing whitespace from ulem.sty
# 8af6b2ec 24-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Isabelle2018: add ulem.sty which is now required by isabelle.sty

(available by default in newer tetex installs, but not older ones)