Re: [isabelle] MathJax
On Fri, 1 Jul 2011, Jason Dagit wrote:
I've had pretty decent success using Hevia to convert Isabelle's latex
to HTML. I just had to define the right class files. I should dig that
stuff out again and share it with people here. I bet there would be
some interest. My goal was to make a website like the real-world
haskell book website that converted literate isabelle to a webpage where
people could leave paragraph level comments. I had a working prototype
but it was a little rough around the edges still (no css for example).
It would be certainly worth sharing it. Right now our Google Summer of
Code student Peter is working on direct HTML generation from the Isabelle
sources, also re-using some ideas from Hevea.
This archive was generated by a fusion of
Pipermail (Mailman edition) and