Re: [isabelle] MathJax

On Mon, Jul 4, 2011 at 2:37 AM, Makarius <makarius at> wrote:
> 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.

Interesting.  I hadn't heard that you have a summer of code student or
about this project.  Were announcements sent somewhere and I just
missed it?  I'd love to put details up on the isabelle subreddit
(increase visibility for people who don't read the list).


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.