That's the simplified version. See section 5.1 of the manual for a more complete escription of the heuristics. http://pike.ida.liu.se/generated/manual/ref/chapter_5.html
/ Martin Nilsson (DivX Networks)
Previous text:
2004-09-19 01:58: Subject: values for character literals?
You can use #charset to declare the charset of your source files. If no #charset is specified, ISO-8859-1 is assumed.
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)