On 07.11.2013 09:50, Lars Noschinski wrote:
> On 06.11.2013 23:12, Jasmin Christian Blanchette wrote:
>> BTW is there any particular reason why testboard and tests are kind of dead
>> these days?
>
> The reason is that none of the Mira daemons is running and for some
> reason I didn't get any not
On 06.11.2013 23:12, Jasmin Christian Blanchette wrote:
> BTW is there any particular reason why testboard and tests are kind of dead
> these days?
The reason is that none of the Mira daemons is running and for some
reason I didn't get any notification about that.
-- Lars
signature.asc
Desc
Hi Florian,
My bad again. Fixed (578371ba74cc). Now I see why "pervasive = true" makes
sense.
Thanks for the notice.
BTW is there any particular reason why testboard and tests are kind of dead
these days?
Jasmin
Am 06.11.2013 um 21:12 schrieb Florian Haftmann
:
> isabelle b01057e72233 /
isabelle b01057e72233 / afp 30c892926c46
> Coinductive FAILED
> (see also
> /mnt/home/haftmann/data/isabelle/devel/heaps/polyml-5.5.1_x86-linux/log/Coinductive)
>
> s/type1/public/amsfonts/cm/cmsy5.pfb> amsfonts/cm/cmsy7.pfb> y8.pfb> hare/texmf-dist/fonts/type1/public/amsfonts/cm/cmti12.pfb> t/f
