[isabelle-dev] configuration options
Jasmin Christian Blanchette
jasmin.blanchette at gmail.com
Thu Nov 25 17:15:27 CET 2010
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
More information about the isabelle-dev
mailing list