src/Pure/General/long_name.ML
2017-04-03 wenzelm 2017-04-03 proper qualifier (again, see df4cd6e1fdfa);
2015-04-03 wenzelm 2015-04-03 tuned;
2015-04-01 wenzelm 2015-04-01 tuned signature;
2014-04-30 wenzelm 2014-04-30 support for long names in Scala;
2014-03-15 wenzelm 2014-03-15 clarified completion ordering: prefer local names;
2014-03-10 wenzelm 2014-03-10 more direct Long_Name.qualification;
2014-02-22 wenzelm 2014-02-22 tuned signature;
2009-03-08 wenzelm 2009-03-08 moved basic algebra of long names from structure NameSpace to Long_Name; tuned signature;