Hi,
I like the new page layout. It is a big improvement structurally, and great
work!
Best wishes,
Taco
> On 24 May 2020, at 10:53, Henning Hraban Ramm wrote:
>
>
>
>> Am 24.05.2020 um 04:06 schrieb Aditya Mahajan :
>>
>> I am okay with changing the main page as well. But since this is
> Am 24.05.2020 um 04:06 schrieb Aditya Mahajan :
>
> I am okay with changing the main page as well. But since this is the main
> page, let's wait for the other mods to chime in as well.
Am I a mod? Just a frequent contributor, I guess...
I like the new main page, it looks very friendly.
On Sat, 23 May 2020, Garulfo wrote:
1/ Concerning the Manuals Page
- As proposed, "obsolete banners" are added to thumbnails of the
oldest manuals.
Looks good. A few minor comments:
I haven't tested it, but the natural tables in context examples (in
Sec 3.6) should still work with
1/ Concerning the Manuals Page
- As proposed, "obsolete banners" are added to thumbnails of the
oldest manuals.
Looks good. A few minor comments:
I haven't tested it, but the natural tables in context examples (in
Sec 3.6) should still work with latest versions.
The "context rehab
On Fri, 22 May 2020, Garulfo wrote:
Hi all,
thanks for your encouraging feedbacks.
1/ Concerning the Manuals Page
- As proposed, "obsolete banners" are added to thumbnails of the
oldest manuals.
Looks good. A few minor comments:
I haven't tested it, but the natural tables in
On 5/22/2020 11:42 PM, Garulfo wrote:
Hi all,
thanks for your encouraging feedbacks.
1/ Concerning the Manuals Page
- As proposed, "obsolete banners" are added to thumbnails of the
oldest manuals.
- About providing zips of manuals per topics: maybe we could just
add a
Hi all,
thanks for your encouraging feedbacks.
1/ Concerning the Manuals Page
- As proposed, "obsolete banners" are added to thumbnails of the
oldest manuals.
- About providing zips of manuals per topics: maybe we could just
add a index.html in the distribution structure, to