maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Maude manual: HTML version?

From: "Traian Florin Serbanuta" <tserban2 AT cs.uiuc.edu>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] Maude manual: HTML version?
Date: Wed, 3 Dec 2008 17:00:02 -0600
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition:x-google-sender-auth; b=dyk89U6NY+vO5E29Y3TIWccLeLi1KpiIOvjg5YdJ24Qif5wIDgpD57Ne7G7/xMP2WW UgCxIcWa0g2tHL4LBoc6QiMTxwiy2l9WbRhOFkfSleHGXuPtjn/pepZ+yDgXLyFoCCo0 XJObihvKHICESNpSaVS4hk6WT+nHfrEXF5Hl0=
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

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] 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