Commit Graph

5 Commits

Author SHA1 Message Date
Reuben Morais
ae0cf8db6a Revert "Merge branch 'rename-real'"
This reverts commit ae9fdb183e, reversing
changes made to 2eb75b6206.
2020-08-26 11:46:09 +02:00
Reuben Morais
0b51004081 Address review comments 2020-08-06 14:20:05 +02:00
Qian Xiao
37dc3e08a4 Fix several typos in docs. 2020-07-11 16:23:50 -07:00
Reuben Morais
56eee9adaf Convert documentation to Sphinx RST 2017-02-02 23:42:36 -02:00
Reuben Morais
dc13d4be06 Remove readme2tex infrastructure 2017-02-02 23:42:25 -02:00