Re: [isabelle] MathJax
On Mon, Jul 4, 2011 at 2:37 AM, Makarius <makarius at sketis.net> 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