Fixed with 1bcf0828d38c and 7a2b867fa843.
Am Montag, den 17.11.2014, 09:13 +0100 schrieb Florian Haftmann:
> > isabelle: 059ba950a657 tip
> > afp: 0fdf8f639bb4 tip
> > Building HOL-Multivariate_Analysis ...
> > Running Sturm_Tarski ...
> > Running Abstract_Completeness ...
> > Finished Sturm_Tarsk
Sorry was my mistake, should be fixed with d5a3dbc9da17 now.
- Johannes
Am Sonntag, den 16.11.2014, 19:48 +0100 schrieb Florian Haftmann:
> > isabelle: 059ba950a657 tip
> > afp: 0fdf8f639bb4 tip
> > Running JinjaThreads ...
> >
> >
> > JinjaThreads FAILED
> > (see also
> > /mnt/home/haftmann/
> isabelle: 059ba950a657 tip
> afp: 0fdf8f639bb4 tip
> Building HOL-Multivariate_Analysis ...
> Running Sturm_Tarski ...
> Running Abstract_Completeness ...
> Finished Sturm_Tarski (0:00:28 elapsed time, 0:01:21 cpu time, factor 2.89)
>
> Abstract_Completeness FAILED
> (see also
> /mnt/home/haftm