# HG changeset patch
# User wenzelm
# Date 1633347154 -7200
# Node ID 90bd7fc7fcc0413276338712b9530e7cae2edcba
# Parent  75d14ac0547e9473279bf6852bd7377700d93ae6
clarified dependencies;

diff -r 75d14ac0547e -r 90bd7fc7fcc0 src/Doc/Isar_Ref/Symbols.thy
--- a/src/Doc/Isar_Ref/Symbols.thy	Sun Oct 03 21:29:34 2021 +0200
+++ b/src/Doc/Isar_Ref/Symbols.thy	Mon Oct 04 13:32:34 2021 +0200
@@ -37,4 +37,6 @@
   \end{center}
 \<close>
 
+external_file %invisible \<open>~~/lib/texinputs/isabellesym.sty\<close>
+
 end