# HG changeset patch
# User wenzelm
# Date 1515842343 -3600
# Node ID efc9ec53922455644df79b75c478bba63343f9d0
# Parent  53d0fb1359d46c2ea88005df9b808d5b2fa12de2
clarified default;

diff -r 53d0fb1359d4 -r efc9ec539224 lib/texinputs/isabelle.sty
--- 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!