Logic 2 notes in HTML
It would be nice if my papers and lecture notes were available in HTML, I thought. Let's start with my lecture notes on modal logic (PDF) I thought. I'll need to convert them from LaTeX to HTML, but surely there are tools for that. I thought.
I was right. But ah, LaTeX! There are, of course, multiple options. You can use pandoc. Or tex4ht. Or lwarp. Or LaTeXML. All of them sort of work, after some fiddling and consulting their thousand-page manuals. But none of them support all the packages I use. And shouldn't those gather lists have more line-spacing, etc.?
I ended up using tex4ht, through make4ht. To make sure that it doesn't balk at my tex input and that the output looks the way I like, I wrote a python script full of ugly regular expressions to preprocess the tex and postprocess the html. Here is the result. It's OK. But why are these menial tasks always so hard?
Good work getting it done! I’ve been mostly trying to convert old tex things to some variety of markdown and from there to html, but going straight to html may have been better.
It could just be my browser but some of the cross references aren’t showing up. See for instance the links back to earlier definitions in section 2.4.