lib/texinputs/isabelle.sty
changeset 58870 e2c0d8ef29cb
parent 58868 c5e1cce7ace3
child 61405 d2ce32c5793a
     1.1 --- a/lib/texinputs/isabelle.sty	Sun Nov 02 16:05:43 2014 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun Nov 02 16:09:35 2014 +0100
     1.3 @@ -7,6 +7,7 @@
     1.4  % isabelle environments
     1.5  
     1.6  \newcommand{\isabellecontext}{UNKNOWN}
     1.7 +\newcommand{\setisabellecontext}[1]{\def\isabellecontext{#1}}
     1.8  
     1.9  \newcommand{\isastyle}{\UNDEF}
    1.10  \newcommand{\isastylett}{\UNDEF}