Leonardo de Moura 83e0e7104c feat(frontends/lean): save tactic_state in the info_manager		2016-11-10 09:56:36 -08:00
..
lean	feat(frontends/lean): save tactic_state in the info_manager	2016-11-10 09:56:36 -08:00
smt2	refactor(*): structured message objects	2016-10-13 18:49:10 -07:00