src/HOL/ex/ROOT.ML

--- a/src/HOL/ex/ROOT.ML	Sat Feb 28 20:29:20 2009 +0100
+++ b/src/HOL/ex/ROOT.ML	Sat Feb 28 21:34:33 2009 +0100
@@ -93,4 +93,5 @@
   use_thy "Sudoku"
 else ();
 
-HTML.with_charset "utf-8" (no_document use_thys) ["Hebrew", "Chinese"];
+HTML.with_charset "utf-8" (no_document use_thys)
+  ["Hebrew", "Chinese", "Serbian"];