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
On 12/05/18 00:01, Makarius wrote:
> The Isabelle/AFP timing charts show a recent slowdown of ConcurrentGC:
>
> https://isabelle.sketis.net/devel/build_status/AFP_slow_64bit_6_threads/index.html#session_ConcurrentGC
>
> See also the attached copies of the chart and data file (the web version
>
Just for the record: Makarius' reply resolved the issue for me (see also
below).
On 05/09/2018 11:57 PM, Makarius wrote:
> On 26/03/18 13:48, Christian Sternagel wrote:
>>
>> Thanks, I forgot about that option.
>>
>> With "isabelle latex" in the specified directory the error boils down to:
>>
>>
I’m talking about HOL-Algebra, and as I’ve seen myself, parts of it are
ancient. They desperately need updating and streamlining.
We’ve decided that Group-Ring-Module is irremediable, and are using it only as
a list of useful results that need to be done again.
Larry
> On 11 May 2018, at