Sebastian Ullrich 524a381f22 refactor(lean/tactic_notation): better goal info tweak on ,		2017-03-22 07:54:12 -07:00
..
lean	refactor(lean/tactic_notation): better goal info tweak on ,	2017-03-22 07:54:12 -07:00
smt2	feat(frontends/smt2/parser.cpp): allow tracing from the smt tactic	2017-03-12 09:54:09 -07:00