[isabelle-dev] Towards the Isabelle2014 release
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...
Size: 534 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev