Harutyun Amirjanyan bed3a18d49 Merge pull request #2366 from leanprover/add-lean-mode ... add 'lean' mode for Lean Theorem Prover files		2015-02-24 23:25:57 +04:00
..
ace	Merge pull request #2366 from leanprover/add-lean-mode	2015-02-24 23:25:57 +04:00