Gabriel Ebner 22011dcde4 chore(init/algebra/order): typo ... Thanks to @fpvandoorn for proof-reading!		2017-08-02 15:41:51 +01:00
..
bin	chore(doc/bin/README): remove options that no longer exist	2017-06-12 15:42:40 +02:00
make	doc(msys2): add notes about installation	2017-06-30 08:04:14 +02:00
.gitignore	chore(.gitignore): update	2015-03-28 23:29:41 -04:00
changes.md	chore(init/algebra/order): typo	2017-08-02 15:41:51 +01:00
coding_style.md
commit_convention.md
export_format.md	feat(doc/export_format): advertise trepplein	2017-07-15 22:49:24 +01:00
fixing_tests.md	feat(emacs/lean-dev): add lean-diff-test-file command for development	2017-07-04 12:20:38 -07:00
syntax_highlight_in_latex.md