[isabelle-dev] Regression in the sublocale command
florian.haftmann at informatik.tu-muenchen.de
Tue Feb 17 13:03:34 CET 2015
> My conclusion of this discussion is that with 8fab871a2a6f the sublocale command immediately visits its target after the qed, which it didn't before. This now causes the command to loop. Is this correct?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 181 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev