Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Encoding of contributors file


view this post on Zulip Email Gateway (Mar 29 2023 at 20:11):

From: Pedro Sánchez Terraf <cl-isabelle-users@lists.cam.ac.uk>
Dear all,

When opening the CONTRIBUTORS
<https://isabelle.in.tum.de/dist/Isabelle2022/CONTRIBUTORS> file at
https://isabelle.in.tum.de/documentation.html, the encoding seems
incorrect, v.g.

instead of

I tried downloading the file and opening it with the same browser, but then
the correct charset was chosen (utf8). I replicated the same behavior with
two different browsers.

Is it just me?

view this post on Zulip Email Gateway (Mar 29 2023 at 20:46):

From: Frédéric Boulanger <frederic.boulanger@centralesupelec.fr>
Hi Pedro,

I see the same thing.

The file uses UTF-8, but for some reason (there is no proper HTML
version nor encoding specified when you inspect the document or display
the source of the page), it is displayed as ISO-8859-1.
Since this is a pure text file, I guess the headers are generated by the
http server or the file is displayed according to the default settings
of the browser.
It seems that before HTML 5, the default encoding has been ASCII then
ISO-8859-1. Starting with HTML 5, it is UTF-8, see
http://www-db.deis.unibo.it/courses/TW/DOCS/w3schools/charsets/default.asp.html

I guess that because there is no html version specified in the headers
for this file, the browser conservatively uses ISO-8859-1.

Note that I may be completely wrong, I am not a specialist of web
servers and clients...

In Firefox, in the "Display" menu, there is a "Fix text encoding" item
that really fixes the issue (I am not sure about the name of the menu
and item because they are displayed in French on my system).

Frédéric

Frédéric Boulanger
CentraleSupélec - Département Informatique Laboratoire Méthodes Formelles (LMF)
3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex Bât. 650 - 1 rue Raimond Castaing, 91190 Gif-sur-Yvette
+33 [0]1 69 85 14 84


Last updated: Mar 28 2024 at 16:17 UTC