Re: [isabelle] Creating ML data is slow. No sharing/caching?



> Your problem is not the evaluation, it's the pretty printing.

Thanks Andreas! This explains everything.

Cheers,
  Cornelius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.