# HG changeset patch
# User wenzelm
# Date 1238501414 -7200
# Node ID 17059c24014d6a7fea7dbd79339a793ccb89989c
# Parent  38767385ad53164df53463726e955f52804ed12c
updated latex requirement;

diff -r 38767385ad53 -r 17059c24014d lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Tue Mar 31 14:09:58 2009 +0200
+++ b/lib/texinputs/isabellesym.sty	Tue Mar 31 14:10:14 2009 +0200
@@ -249,7 +249,7 @@
 \newcommand{\isasymsqunion}{\isamath{\sqcup}}
 \newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
 \newcommand{\isasymsqinter}{\isamath{\sqcap}}
-\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires amsmath
+\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires stmaryrd
 \newcommand{\isasymsetminus}{\isamath{\setminus}}
 \newcommand{\isasympropto}{\isamath{\propto}}
 \newcommand{\isasymuplus}{\isamath{\uplus}}