Leonardo de Moura 8b132c758a feat(frontends/lean/begin_end_block): add basic auto-quotation		2016-09-25 17:03:12 -07:00
..
lean	feat(frontends/lean/begin_end_block): add basic auto-quotation	2016-09-25 17:03:12 -07:00