Commit graph

7 commits

Author SHA1 Message Date
Leonardo de Moura
7940889495 fix(doc/lean/library_style): adjust to reflect changes in the standard library 2015-06-16 11:29:17 -07:00
Leonardo de Moura
375997fe65 fix(doc/lean/library_style): adjust to reflect changes in the standard library 2015-05-25 16:56:00 -07:00
Jeremy Avigad
5ae63c07a6 fix(doc/lean/library_style.org): remove unnecessary header line 2015-05-16 17:53:35 +10:00
Jeremy Avigad
0eb52e1f8b fix(doc/library_style.org): use org format for headers 2015-05-13 22:19:02 -07:00
Leonardo de Moura
22a0e80ae8 fix(doc/lean/library_style): fix more code snippets 2015-05-12 06:42:41 -07:00
Leonardo de Moura
5cde3d5c1c fix(doc/lean/library_style): code snippets must be valid Lean code
The test suite executes all code snippets in .org files and report errors.
2015-05-12 06:38:16 -07:00
Jeremy Avigad
b2dd95114b feat(doc/lean/library_style.org,README.md): add library style conventions 2015-05-12 06:20:51 -07:00