Maude-help mailing list

[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