[isabelle-dev] NEWS

Makarius makarius at sketis.net
Thu Apr 17 22:29:32 CEST 2008

Previous message (by thread): [isabelle-dev] NEWS
Next message (by thread): [isabelle-dev] NEWS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [isabelle-dev] NEWS
Next message (by thread): [isabelle-dev] NEWS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list