# HG changeset patch
# User wenzelm
# Date 1465659409 -7200
# Node ID 0835067b9b3975002848b1759b0015fdff14c8a4
# Parent  ce90bb3d29025fbaa66d584dd4be20f10421e970
tuned order for isar-ref;

diff -r ce90bb3d2902 -r 0835067b9b39 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Sat Jun 11 16:58:17 2016 +0200
+++ b/lib/texinputs/isabellesym.sty	Sat Jun 11 17:36:49 2016 +0200
@@ -359,11 +359,11 @@
 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
 \newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}}
 \newcommand{\isasymsome}{\isamath{\epsilon\,}}
+\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}
-\newcommand{\isasymhole}{\isatext{\rm\wasylozenge}}  %requires wasysym
-\newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
+\newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
 \newcommand{\isasymcomment}{\isatext{---}}
 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}