# HG changeset patch
# User wenzelm
# Date 1291408494 -3600
# Node ID 58fa450b05e1ab340478c5e5806ef9158cad695f
# Parent  3f697c636fa1fbfad010aa6fe6783e27430786ea
source files are always encoded as UTF-8;

diff -r 3f697c636fa1 -r 58fa450b05e1 NEWS
--- a/NEWS	Fri Dec 03 21:30:41 2010 +0100
+++ b/NEWS	Fri Dec 03 21:34:54 2010 +0100
@@ -6,6 +6,13 @@
 
 *** General ***
 
+* Source files are always encoded as UTF-8, instead of old-fashioned
+ISO-Latin-1.  INCOMPATIBILITY.  Isabelle LaTeX documents might require
+the following packages declarations:
+
+  \usepackage[utf8]{inputenc}
+  \usepackage{textcomp}
+
 * System settings: ISABELLE_HOME_USER now includes ISABELLE_IDENTIFIER
 (and thus refers to something like $HOME/.isabelle/IsabelleXXXX),
 while the default heap location within that directory lacks that extra