Leonardo de Moura cd77f7167e chore(frontends/lean): run_tactic ==> run_command ... add `command` as alias for `tactic unit`		2016-08-18 12:53:21 -07:00
..
lean	chore(frontends/lean): run_tactic ==> run_command	2016-08-18 12:53:21 -07:00
lean_before_refactoring	chore(library, tests): use new attribute chaining syntax	2016-08-16 13:49:03 -07:00