Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

I'm not sure if he reads this list. His email is 
narciso AT esi.ucm.es

Steven

On Wednesday 03 December 2008 19:42, Traian Florin Serbanuta wrote:
> I wouldn't mind taking care of it, or, at least attempting.  I have
> some experience with using latex2html, but I would certainly benefit
> of more precise instructions.
>
> Is Narciso on this list as well, or should I contact him personally?
>
> thanks,
> -traian
>
> 2008/12/3 Steven Eker 
> <eker AT csl.sri.com>:
> > I agree that the HTML version was far superior to the pdf version for
> > online use. Unfortunately producing it was a nontrivial task for Narciso.
> > If you want to step up to the plate and take over maintaining it I'm sure
> > he would give you pointers to the tools he used.
> >
> > Steven
> >
> > On Wednesday 03 December 2008 15:00, Traian Florin Serbanuta wrote:
> >> Hello,
> >>
> >> I was very fond of the HTML version of the Maude manual and used it
> >> all the time for quick reference/browsing, especially since it loaded
> >> much faster than the pdf version.
> >>
> >> I was not very happy when, with the update to Maude 2.4, the link has
> >> disappeared.
> >>
> >> Is it possible to have it generated again?
> >>
> >> Thank you,
> >> -traian serbanuta
> >> _______________________________________________
> >> Maude-help mailing list
> >> Maude-help AT maude.cs.uiuc.edu
> >> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help