Leonardo de Moura 65c7426174 chore(library/init/lean/parser/parser): parser_m ==> parser ... Use the same name convention used at `init/control`		2018-04-27 13:44:37 -07:00
..
ir	refactor(init): init/category ==> init.control	2018-04-27 08:33:08 -07:00
parser	chore(library/init/lean/parser/parser): parser_m ==> parser	2018-04-27 13:44:37 -07:00