Skip to Content.
Sympa Menu

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

maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

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


Chronological Thread 
  • From: Michael George Hart <michael.george.hart AT gmail.com>
  • To: maude-help AT maude.cs.uiuc.edu
  • Cc: maude-help AT peepal.cs.uiuc.edu
  • Subject: Re: [Maude-help] Maude manual: HTML version?
  • Date: Wed, 3 Dec 2008 20:21:44 -0500
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=to:subject:date:user-agent:cc:references:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :message-id:from; b=w+3TmFdXxuIGMc1I7XUeVA3k/wiyMDjHY6JbwLzA56r8IHA4lJeOzhLNEZQAonk4KG 6QMD8/QZaRHcejZHY7/NFo6lC4prnSNyLDApVRYK1PPnDv+Ai4VJZYt1YmaSGooML0fJ dU99NZLy5yVDv4Uezg4DvC9H1cdtbO3CHPpqU=
  • List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
  • List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

I will be more than happy to help you do this.

The key words are "help you"....

Let me know if you want to pick up the mantel

Michael...

On Wednesday 03 December 2008 07:05:08 pm Steven Eker wrote:
> 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 mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help



--
I, the unwilling, was led by the unqualified, to do the unbelievable for so
long with so little, that I attempted the impossible with nothing......"




Archive powered by MHonArc 2.6.16.

Top of Page