[isabelle] Haskabelle and Literate Haskell



Dear All,

I'm planning to use haskabelle in my research and currently
I'm using literate Haskell.
However, as far as I could go, I noticed that Haskabelle
searches for *.hs files, plain haskell.

Is there something I could do in order to use my Literate Haskell files,
or it is mandatory to use plain haskell for it?

Many thanks.


-- 
Artur Oliveira Gomes
PhD Student - SCSS - Trinity College Dublin
Sistemas de InformaÃÃo - CPAN
Universidade Federal de Mato Grosso do Sul - Brazil



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