Sebastian Ullrich f72a700e34 fix(frontends/lean/decl_cmds): attribute cmd: save info for first ident		2018-02-28 17:42:19 +01:00
..
lean	fix(frontends/lean/decl_cmds): attribute cmd: save info for first ident	2018-02-28 17:42:19 +01:00