[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
haskabelle
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.