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:

http://cl-informatik.uibk.ac.at/software/ceta/Datatype_Order_Generator.tgz

Cheers,
René




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