[isabelle-dev] configuration options

[Jasmin Christian Blanchette]

Am 25.11.2010 um 17:11 schrieb Makarius:

> This means the longstanding trace_simp and debug_simp would become simp_trace and simp_debug, respectively.  Similar for trace_meson, trace_metis and a few others.

I modeled "trace_{meson,metis}" for consistency with "trace_simp" (without noticing "smt_trace") but will be more than happy to rename them if there's a concensus.

Jasmin