As an update.. Here is an actually generated page[1] into this new markdown/rST style format, and its html rendering[2] using the new tool, wtfm[3].
I still haven't received any suggested pure rST versions so will be continuing using this format for the time being atleast. -Hannes [1] https://raw.github.com/bjori/bjori.github.com/master/function.strpos.md [2] http://bjori.github.io/strpos.html [3] Write The F* Manual On Fri, Aug 9, 2013 at 10:38 PM, Hannes Magnusson <hannes.magnus...@gmail.com> wrote: > On Fri, Aug 9, 2013 at 10:34 PM, Hannes Magnusson > <hannes.magnus...@gmail.com> wrote: >> I've already started working on a PhD output format to help with the >> transition. >> The current format I am targetting looks something like the document >> attached. > > > I ofcourse forgot to attach it.. > > -Hannes
