Fri, 17 Jul 2015 16:43:53 +0200 | wenzelm | clarified ML compiler parameters: always provide PolyML.Compiler.CPDebug, ignore global default; | changeset | files |
Fri, 17 Jul 2015 16:23:25 +0200 | wenzelm | report possible breakpoint positions; | changeset | files |
Fri, 17 Jul 2015 16:03:11 +0200 | wenzelm | proper attribute; | changeset | files |
Fri, 17 Jul 2015 16:13:03 +0200 | traytel | forgotten selector | changeset | files |
Thu, 16 Jul 2015 18:36:16 +0200 | blanchet | made code less loopy | changeset | files |
Thu, 16 Jul 2015 17:47:49 +0200 | blanchet | keep smart default for Isar proofs in Sledgehammer panel (if the option is not checked) | changeset | files |