Re: Hugs plugin, Haskell Browser

2002-03-15 Thread Max Kirillov
On Thu, Mar 14, 2002 at 07:29:13PM +, C.Reinke wrote: 2. When I hear translate to HTML I imagine that underlined words which can be clicked to see, say, definition of function. Sadly, most htmlizers are focused on highlighting rather than navigation. Why generate HTML pages if noone

Re: Hugs plugin, Haskell Browser

2002-03-15 Thread Claus Reinke
function. Sadly, most htmlizers are focused on highlighting rather than navigation. .. I said most! :) (To be honest, I thought about all) just wanted to point out that there have been several hyperlinking HTML documentation generators for Haskell (in fact, from memory I'm quite sure there

Re: Hugs plugin, Haskell Browser

2002-03-14 Thread Martin Norbäck
tor 2002-03-14 klockan 08.02 skrev Ketil Z. Malde: Manuel M. T. Chakravarty [EMAIL PROTECTED] writes: The detailed choice of colours is, of course, adjustable. At least on a Unix machine, I am quite sure you can use XEmacs also in batch mode to generate the HTML Sure. Have a look at

Re: Hugs plugin, Haskell Browser

2002-03-14 Thread Frank Atanassow
Robert Giegerich [EMAIL PROTECTED] wrote, I often use Haskell demos in teaching algorithms. The problem is that this does not integrate well with the rest of the material, e.g. lecture notes or slides in PDF or HTML. I'd like to integrate explanations and demos and explorative changes to

Re: Hugs plugin, Haskell Browser

2002-03-14 Thread Max Kirillov
On Thu, Mar 14, 2002 at 03:05:34PM +1100, Manuel M. T. Chakravarty wrote: Again, XEmacs with the above mentioned Haskell mode can do it. Just execute the function `htmlize-buffer' on a buffer containing the Haskell source. As an example for the generated output, have a look at

Re: Hugs plugin, Haskell Browser

2002-03-14 Thread C.Reinke
2. When I hear translate to HTML I imagine that underlined words which can be clicked to see, say, definition of function. Sadly, most htmlizers are focused on highlighting rather than navigation. Why generate HTML pages if noone reads them?-) Take this obscure location, for instance:

Re: Hugs plugin, Haskell Browser

2002-03-14 Thread Manuel M. T. Chakravarty
Max Kirillov [EMAIL PROTECTED] wrote, On Thu, Mar 14, 2002 at 03:05:34PM +1100, Manuel M. T. Chakravarty wrote: Again, XEmacs with the above mentioned Haskell mode can do it. Just execute the function `htmlize-buffer' on a buffer containing the Haskell source. As an example for the

Hugs plugin, Haskell Browser

2002-03-13 Thread Robert Giegerich
Teachers in Haskell, I often use Haskell demos in teaching algorithms. The problem is that this does not integrate well with the rest of the material, e.g. lecture notes or slides in PDF or HTML. I'd like to integrate explanations and demos and explorative changes to algorithms. This needs

Re: Hugs plugin, Haskell Browser

2002-03-13 Thread Abraham Egnor
Vim can produce HTML from any source code it has highlighting rules for, which includes Haskell. Dunno about the browser plugin, though. Abe On Wed, 13 Mar 2002, Robert Giegerich wrote: Teachers in Haskell, I often use Haskell demos in teaching algorithms. The problem is that this does

Re: Hugs plugin, Haskell Browser

2002-03-13 Thread Alastair David Reid
Is there something like a Hugs plugin for Netscape? We used to have one at Yale. Can't remember what happened to it so I'm adding John Peterson to the address list in case he can remember. -- Alastair ReidReid Consulting (UK) Ltd ___

Re: Hugs plugin, Haskell Browser

2002-03-13 Thread Manuel M. T. Chakravarty
Robert Giegerich [EMAIL PROTECTED] wrote, I often use Haskell demos in teaching algorithms. The problem is that this does not integrate well with the rest of the material, e.g. lecture notes or slides in PDF or HTML. I'd like to integrate explanations and demos and explorative changes to

Re: Hugs plugin, Haskell Browser

2002-03-13 Thread Ketil Z. Malde
Manuel M. T. Chakravarty [EMAIL PROTECTED] writes: The detailed choice of colours is, of course, adjustable. At least on a Unix machine, I am quite sure you can use XEmacs also in batch mode to generate the HTML Sure. Have a look at -batch, -f and -eval options. Be prepared for a bit of