# HG changeset patch
# User wenzelm
# Date 1631532639 -7200
# Node ID 7466b2a3905a700d40d8258d1768c3224824f891
# Parent  de4b3abaf3ca41130a5a4d52479f57ee0072d747
more latex macros;

diff -r de4b3abaf3ca -r 7466b2a3905a lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Mon Sep 13 11:58:11 2021 +0200
+++ b/lib/texinputs/isabellesym.sty	Mon Sep 13 13:30:39 2021 +0200
@@ -474,6 +474,11 @@
 \newcommand{\isactrltypeUNDERSCOREname}{\isakeywordcontrol{type{\isacharunderscore}name}}
 \newcommand{\isactrltypeUNDERSCOREsyntax}{\isakeywordcontrol{type{\isacharunderscore}syntax}}
 \newcommand{\isactrlundefined}{\isakeywordcontrol{undefined}}
+\newcommand{\isactrltvar}{\isakeywordcontrol{tvar}}
+\newcommand{\isactrlvar}{\isakeywordcontrol{var}}
+\newcommand{\isactrlConst}{\isakeywordcontrol{Const}}
+\newcommand{\isactrlConstUNDERSCORE}{\isakeywordcontrol{Const{\isacharunderscore}}}
+\newcommand{\isactrlType}{\isakeywordcontrol{Type}}
 
 \newcommand{\isactrlcode}{\isakeywordcontrol{code}}
 \newcommand{\isactrlcomputation}{\isakeywordcontrol{computation}}