Jeroen Demeyer on Mon, 05 Sep 2016 11:11:10 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

gphtml


Hello,

the thread about HTML documentation talked about a "gphtml" script to generate HTML for the PARI/GP documentation. Is this script available somewhere? It sounds like it might be useful for the Jupyter kernel.

Cheers,
Jeroen.