> On 15 May 2018, at 14:51, Makarius wrote:
>
> Maybe also a campaign to get rid of unnecessary syntax ambiguity.
Totally. Most of the time it is completely unnecessary
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informat
On 15/05/18 14:31, Fabian Immler wrote:
>
> I did move FuncSet back to HOL-Library in isabelle/2af1f142f855 and
> afp/5d961e9f8536.
> It seems like this improved the performance a lot:
>
> isabelle/2af1f142f855
> afp/5d961e9f8536
Great, I have seen already 2af1f142f855 "move FuncSet back to
HOL
> Am 14.05.2018 um 13:24 schrieb Fabian Immler :
>
> I did notice that those changes caused issues with timeouts in some AFP
> sessions, and simply "fixed" those on the spot (e.g., the ones in afp/85324e3
> and afp/2ff575e hinted at problems caused by incorporating syntax for FuncSet
> into Co
> Am 12.05.2018 um 00:27 schrieb Makarius :
>
> Isabelle/fad29d2a17a5
> parent: 68072:493b818e8e10
> parent: 68070:8dc792d440b9
> user:immler
> date:Thu May 03 15:07:14 2018 +0200
> merged; resolved conflicts manually (esp. lemmas that have been moved
> from Linear_Algeb
On 12/05/18 00:27, Makarius wrote:
> Here is recent timing information for JinjaThreads, which indicates that
> it has suffered recently:
>
> https://isabelle.sketis.net/devel/build_status/AFP_slow_64bit_6_threads/index.html#session_JinjaThreads
>
> I.e. it stopped working, and came back to live
Here is recent timing information for JinjaThreads, which indicates that
it has suffered recently:
https://isabelle.sketis.net/devel/build_status/AFP_slow_64bit_6_threads/index.html#session_JinjaThreads
I.e. it stopped working, and came back to live much slower.
Here are some relevant changeset