On Fri, Aug 12, 2011 at 4:07 PM, Makarius <[email protected]> wrote: > http://isabelle.in.tum.de/repos/isabelle/rev/aaaa13e297dc improves startup > time of the worker thread farm significantly, and I've got real times in the > range of 0.003s -- 0.005s on my "old" machine from 2 years ago with Proof > General.
Thanks for the quick response; with this new patch everything looks much better. Proving "True" and "True" with simp_all in Proof General now takes only 0.002s on my machine. - Brian _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
