[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: terminal escapes in Info files?

From: Richard Stallman
Subject: Re: terminal escapes in Info files?
Date: Thu, 30 Oct 2003 13:00:21 -0500

    I don't think that the main idea was to replace the various info
    readers by browsers, but to change the info format to a strict subset
    of HTML, and then make the info readers recognize this subset as an
    external format.

this might be an ok idea, if people work out the details.
it would be a totally incompatible change, though.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]