[isabelle-dev] JinjaThreads

Alexander Krauss krauss at in.tum.de
Fri Jan 13 21:49:23 CET 2012

On 01/13/2012 06:24 PM, Makarius wrote:
> I haven't been aware of that. The configuration goes back to myself, in
> private communication with Alex. I did not check it later. In
> 4a892432e8f1 it is now more conventional, also tested manually to some
> extend.

4a892432e8f1 merely modifies the setup for the Isabelle_makeall run. The 
AFP settings are here


and they match the ones from regular isatest.


More information about the isabelle-dev mailing list