[isabelle] Importing Literate Haskell using Haskabelle - keeping Latex content

Dear All,

I was wondering if there's some sort of parameter to use whilst running
so I could import the Latex content from my Literate Haskell into the
Isabelle syntax.
If not, it's fine.

Best regards,

Artur Oliveira Gomes
PhD Student - SCSS - Trinity College Dublin
Professor - Sistemas de InformaÃÃo - UFMS

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