UTF-8 and a few fi-ligatures in a source file

So UTF-8 will be it, a setting that can be changed at Eclipse's Preferences
/ General / Workspace

The change hides a problem with some characters that should not be there
(they arrived through cut&paste from PDF to the comment at
PatternMatching.scala between lines 460 and 483), all occurrences of "fi"
appear as the fi-ligature .

Miguel

--
Miguel Garcia miguel.garcia@tuhh.de
Institute for Software Systems (STS), E-16
Technische Universitaet Hamburg-Harburg
Harburger Schlossstr. 20, 21073 Hamburg Fax: (+49)40-42878-2515
http://www.sts.tu-harburg.de/people/mi.garcia