Re: [isabelle] Automatic derivation of a total order on datatypes

> I'm now using the version of the .tgz above and it works \o/.
> Is it somehow possible, though, to disable the trace output? There are
> thousands of (debug?) lines spit into the trace window whenever I use a
> "derive linorder foo"...

Tracing is now disabled, both in the AFP development version and in the .tgz-version 
for Isabelle2012. You can download the new file at the same URL:


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