src/HOL/Tools/Sledgehammer/sledgehammer_print.ML
2013-11-19 ago tuning
2013-08-22 ago fixed pattern matching
2013-08-17 ago sledgehammer sendback always uses Markup.padding_command: sensible default for most practical applications -- old-style in-line replacement is superseded by auto mode or panel;
2013-08-17 ago more explicit sendback propertries based on mode;
2013-08-13 ago whitepsace tuning
2013-07-18 ago explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it;
2013-07-12 ago added blast, force
2013-07-11 ago optimize isar-proofs by trying different proof methods
2013-07-11 ago tuned
2013-07-09 ago moved code -> easier debugging