|
I have been working with Lamport’s Temporal Logic of
Actions (TLA) and have some specifications I want to convert to HTML. Has
anyone used latex2html for this purpose? If not, could someone give me a guess
at the level of effort to get something like this going? Dave |
_______________________________________________ latex2html mailing list [EMAIL PROTECTED] http://tug.org/mailman/listinfo/latex2html
