--- a/lib/texinputs/isabelle.sty Sat Jan 13 11:59:42 2018 +0100
+++ b/lib/texinputs/isabelle.sty Sat Jan 13 12:19:03 2018 +0100
@@ -41,9 +41,6 @@
\newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
-\newcommand{\isamarkupcancel}[1]{\xout{#1}} %requires \usepackage[normalem]{ulem}
-%OR: \newcommand{\isamarkupcancel}[1]{{\color{gray}{\isacharverbatimopen}#1{\isacharverbatimclose}}} %requires \usepackage{xcolor}
-
\newdimen\isa@parindent\newdimen\isa@parskip
\newenvironment{isabellebody}{%
@@ -239,6 +236,12 @@
}
+% cancel text
+
+\usepackage[normalem]{ulem}
+\newcommand{\isamarkupcancel}[1]{\xout{#1}}
+
+
% tagged regions
%plain TeX version of comment package -- much faster!