[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML-Info design
From: |
Stefan Monnier |
Subject: |
Re: HTML-Info design |
Date: |
Mon, 29 Dec 2014 09:06:29 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
> earlier. And you'd need to read that file in full the first time to compare
> it with the local version.
No, the local version might be in Info format while the remote version
might be in HTML format. So we neither need nor want to look at the
remote file.
Stefan
- Re: HTML-Info design, (continued)
- Re: HTML-Info design, Yuri Khan, 2014/12/29
- Re: HTML-Info design, Thien-Thi Nguyen, 2014/12/29
- Re: HTML-Info design, Stefan Monnier, 2014/12/28
- Re: HTML-Info design, Achim Gratz, 2014/12/29
- Re: HTML-Info design, Stefan Monnier, 2014/12/29
- Re: HTML-Info design, Stefan Monnier, 2014/12/29
- Re: HTML-Info design,
Stefan Monnier <=
- Re: HTML-Info design, Richard Stallman, 2014/12/29
- Re: HTML-Info design, Ivan Shmakov, 2014/12/28
- Re: HTML-Info design, Stefan Monnier, 2014/12/28
- Re: HTML-Info design, David Kastrup, 2014/12/28
- Saving default font? (was: HTML-Info design), David Kastrup, 2014/12/28
- Re: Saving default font?, Lars Ingebrigtsen, 2014/12/28
- Re: HTML-Info design, Lars Ingebrigtsen, 2014/12/28
- Re: HTML-Info design, Lars Ingebrigtsen, 2014/12/28
- Re: HTML-Info design, Paul Eggert, 2014/12/28
- Re: HTML-Info design, Nic Ferrier, 2014/12/28