New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make org file display well on github? #2

Open

catalin-hritcu opened this issue Aug 29, 2016 · 0 comments

Member

catalin-hritcu commented Aug 29, 2016

Just noticed that github does provide some support for rendering org files based on org-ruby (https://github.com/wallyqs/org-ruby).

Not sure whether it's worth the trouble to make
https://github.com/secure-compilation/beyond-good-and-evil/blob/master/simple-instance.org
render reasonably at this point, but it might be an option if we want to send this paper to a journal at some point and want some reasonable layout for the proofs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment