# HG changeset patch
# User wenzelm
# Date 1546704043 -3600
# Node ID c8a2755bf2203b054d3c33350ff5f9df9e8b2bce
# Parent  ec135235fbcc96e46dc724c68e763f339bb182ba
latex macro for \<^const>;

diff -r ec135235fbcc -r c8a2755bf220 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Sat Jan 05 15:15:21 2019 +0100
+++ b/lib/texinputs/isabellesym.sty	Sat Jan 05 17:00:43 2019 +0100
@@ -373,6 +373,7 @@
 \newcommand{\isactrlclass}{\isakeywordcontrol{class}}
 \newcommand{\isactrlclassUNDERSCOREsyntax}{\isakeywordcontrol{class{\isacharunderscore}syntax}}
 \newcommand{\isactrlcommandUNDERSCOREkeyword}{\isakeywordcontrol{command{\isacharunderscore}keyword}}
+\newcommand{\isactrlconst}{\isakeywordcontrol{const}}
 \newcommand{\isactrlconstUNDERSCOREabbrev}{\isakeywordcontrol{const{\isacharunderscore}abbrev}}
 \newcommand{\isactrlconstUNDERSCOREname}{\isakeywordcontrol{const{\isacharunderscore}name}}
 \newcommand{\isactrlconstUNDERSCOREsyntax}{\isakeywordcontrol{const{\isacharunderscore}syntax}}