Re: [isabelle] Failing afp-2015 build
> * it's still running on my machine, but the build has progressed well
> beyond "TSO"
Update: Build has finished on my quad-core Core i7.
Timing ConcurrentGC (4 threads, 3055.987s elapsed time, 7458.113s cpu
time, 643.593s GC time, factor 2.44)
Finished ConcurrentGC (0:51:48 elapsed time, 2:05:59 cpu time, factor 2.43)
Finished at Wed Nov 11 21:58:23 CET 2015
0:51:52 elapsed time, 2:06:15 cpu time, factor 2.43
It is still running on an 8 core "cloud" machine, but that one has also
progressed beyond "TSO".
This archive was generated by a fusion of
Pipermail (Mailman edition) and