[isabelle-dev] JinjaThreads

[Alexander Krauss]

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

http://afp.hg.sourceforge.net/hgweb/afp/afp/file/3dcc6b9eae2b/admin/mira.py#l33

and they match the ones from regular isatest.

Alex