Commit 6a246ebc authored by Pietro Abate's avatar Pietro Abate

[r2005-05-17 12:30:10 by beppe] Fixed character encodings

Original author: beppe
Date: 2005-05-17 12:30:11+00:00
parent 1b8e203d
......@@ -482,7 +482,7 @@ match argv [] with
] in
dump_to_file ("../doc/fomanual/"@out_file)
(* dump_to_file (out_file) *)
['<?xml version="1.0" encoding="UTF-8"?>' !(print_xml DebutFo)]
['<?xml version="1.0" encoding="ISO-8859-1"?>' !(print_xml DebutFo)]
(*print(print_xml(main_page));*)
(* print (gen_page main_page)*)
with err & Latin1 ->
......
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<page name="manual_expressions">
<title>Expressions</title>
......@@ -580,8 +580,8 @@ which are not matched and are not XML elements are copied verbatim.
<p>
Strings are nothing but sequences of characters, but in view of their
importance when dealing with XML we introduced the standard double
quote notation. So <code>[ 'a' '⇔' 'c' ]</code> can be
written as <code>"a⇔c"</code>. In double quote all the
quote notation. So <code>[ 'F' 'r' 'a' 'n' 'ç' 'e' ]</code> can be
written as <code>"Françe"</code>. In double quote all the
<i>values</i> of type <code>Char</code> can be used: so besides Unicode chars we
can also double-quote codepoint-defined characters (<code>\x%%h%%;
\%%d%%; </code> where <code>%%h%%</code> and <code>%%d%%</code> are
......@@ -593,8 +593,8 @@ characters there is the built-in function <code>char_of_int : Int
-> Char</code> which returns the character corresponding to the given
Unicode codepoint (or raises an exception for a non-existent
codepoint), and this can only be used with the regular sequence
notation, thus <code>"a⇔c"</code>, <code>"a"@[(char_of_int
8916)]@"c"</code>, and <code>"a\8916;c"</code> are equivalent expressions.
notation, thus <code>"Françe"</code>, <code>"Fran"@[(char_of_int
231)]@"e"</code>, and <code>"Fran\231;e"</code> are equivalent expressions.
</p>
</box>
......
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<page name="memento">
<title>Quick reference</title>
......
......@@ -467,7 +467,7 @@ text-align:center; color: #aa0000; font: bold 200% helvetica" >
<html>[
<head>[
<title>[ !site ': ' !title ]
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">[]
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">[]
<style type="text/css">style
]
<body style="margin: 0; padding : 0; background: #fcb333"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment