> As with the old log files, any error to access the persistent data is
> turned into a warning, since there might be old files still around,
> while the logical data format has changed.
>
>
> I don't know anything about testboard and can't say what is really going
> on here.
For whatever it's
During a minor overhaul of some theories in the distribution, I
discovered some problems with theory imports.
Apparently, the theory merge behaviour changed in one of the most recent
commits. I haven't been able to pin down which one it is exactly; I
might do a bisection later if needed.
In
On 04/04/17 11:06, Manuel Eberl wrote:
> During a minor overhaul of some theories in the distribution, I
> discovered some problems with theory imports.
>
> In short: apparently, importing a theory (e.g. Library/Multiset) twice
> in two theories A and B can be problematic when the theory import
Please regard the updated Admin/PLATFORMS file
http://isabelle.in.tum.de/repos/isabelle/annotate/27c1b5e952bd/Admin/PLATFORMS
This means already since 04-Mar-2017 (one month ago):
* Mac OS X Mountain Lion is no longer supported and the baseline is
Mavericks (on macbroy2). This is relevant when