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