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