[isabelle-dev] NEWS

* Context-dependent token translations.  Default setup reverts locally
fixed variables, and adds hilite markup for undeclared frees.

Reply via email to