[isabelle-dev] isabelle build

Lawrence Paulson lp15 at cam.ac.uk
Tue Aug 7 23:08:53 CEST 2012

Previous message (by thread): [isabelle-dev] isabelle build
Next message (by thread): [isabelle-dev] isabelle build
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Simply awesome.
Larry

On 7 Aug 2012, at 21:59, Makarius wrote:

> 0:45:45 elapsed time, 8:44:02 cpu time, factor 11.45

Previous message (by thread): [isabelle-dev] isabelle build
Next message (by thread): [isabelle-dev] isabelle build
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list