feat(frontends/lean): only valid proof states should be displayed, closes #275
fix(frontends/lean): do not save identifier info
feat(library/tactic): add rotate_left/rotate_right tactics, closes #278
fix(tests/lean/interactive): modify to reflect recent changes
fix(frontends/lean): universe variable is treated as parameter inside section, fixes #283
chore(library/tactic/expr_to_tactic): fix compilation warning
fix(library/tactic): type check generalization result, fixes #273
feat(emacs/lean-settings): add 'lean-follow-changes' option