src/Pure/General/long_name.scala
2017-04-03 wenzelm 2017-04-03 proper qualifier (again, see df4cd6e1fdfa);
2014-04-30 wenzelm 2014-04-30 support for long names in Scala;