[isabelle-dev] Towards the Isabelle2014 release

Lars Noschinski noschinl at in.tum.de
Thu Jun 5 08:42:26 CEST 2014

On 05.06.2014 05:44, Thomas Sewell wrote:
> In particular, I want to avoid ever changing the setting globally. I've
> had some bad experiences in the past with theories with differing global
> configurations, which means that the location of a tactic and the
> include graphs of theories start having subtle effects on the way the
> tactics run. It's a mess.

A little less invasive would be enabling the compatibility mode for a
whole theory using "context notes [[...]] begin ... end".

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 534 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20140605/6f0ab361/attachment.sig>

More information about the isabelle-dev mailing list