customize org-export for lean source code - Githubissues

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

customize org-export for lean source code #16

Closed soonhokong closed 9 years ago

soonhokong commented 9 years ago

reference: http://superuser.com/questions/434630/customizing-how-html-is-generated-for-source-code-blogs-when-using-export-in-org

soonhokong commented 9 years ago

Closed by the creation of tutorial repository.