maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Maude manual: HTML version?

From: "Traian Florin Serbanuta" <tserban2 AT cs.uiuc.edu>
To: "Steven Eker" <eker AT csl.sri.com>
Cc: maude-help AT peepal.cs.uiuc.edu
Subject: Re: [Maude-help] Maude manual: HTML version?
Date: Wed, 3 Dec 2008 21:42:50 -0600
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references:x-google-sender-auth; b=Qw4gD8ciF2BpbSf8rSFxr5B4X2XRMSFHPLTK4C0WJh0m75TDH5ab0c4O7Br81yaI36 EbqE1Xi+VocsdWx9cYrpD0/yoMxvTkQ/g3uK0hS41WIM4cUKVbFY6ylSC8woqYIDx/te erEM4g5paZglgEhcK6M16VQfnsxzQ+Tb8tLhE=
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

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
>

[Maude-help] Maude manual: HTML version?, Traian Florin Serbanuta, 12/03/2008
- Re: [Maude-help] Maude manual: HTML version?, Steven Eker, 12/03/2008
  - Re: [Maude-help] Maude manual: HTML version?, Michael George Hart, 12/03/2008
  - Re: [Maude-help] Maude manual: HTML version?, Traian Florin Serbanuta, 12/03/2008
    - Re: [Maude-help] Maude manual: HTML version?, Steven Eker, 12/04/2008