src/Pure/name.ML
2011-07-06 ago tuned errors;
2011-06-09 ago tuned signature: Name.invent and Name.invent_names;
2011-06-09 ago simplified Name.variant -- discontinued builtin fold_map;
2011-06-09 ago discontinued Name.variant to emphasize that this is old-style / indirect;
2011-04-16 ago tuned signature, disentangled dependencies;
2010-11-20 ago renamed raw "explode" function to "raw_explode" to emphasize its meaning;
2010-01-08 ago single quote is not a valid letter any more
2009-11-10 ago desymbolize: use Symbol.decode directly;
2009-10-24 ago renamed NameSpace to Name_Space -- also to emphasize its subtle change in semantics;
2009-05-04 ago desymbolization with case selection
2009-04-28 ago Symbol.name_of and Name.desymbolize
2009-03-19 ago Name.of_binding: proper full_name (with checks) before projecting base name;
2008-12-05 ago Name.name_of -> Binding.base_name
2008-12-04 ago cleaned up binding module and related code
2008-12-01 ago new Binding module
2008-11-20 ago dropped legacy naming code
2008-11-20 ago name spaces and name bindings
2008-11-17 ago Name.name_with_prefix (temporarily)
2008-11-14 ago namify and name_decl combinators
2008-11-13 ago diagnostic output for name bindings
2008-11-10 ago explicit interpretation prefix in Name.binding
2008-09-03 ago added qualified: string -> binding -> binding;
2008-09-02 ago added type binding -- generic name bindings;
2007-10-04 ago added uu, aT;
2006-11-28 ago simplified '?' operator;
2006-07-25 ago tuned;
2006-07-25 ago renamed Name.give_names to Name.names and moved Name.alphanum to Symbol.alphanum
2006-07-21 ago added give_names and alphanum
2006-07-19 ago export make_context, is_declared;
2006-07-13 ago do not export make_context;
2006-07-12 ago variants: special treatment of empty name;
2006-07-11 ago clean: no special treatment of empty name;
2006-07-11 ago Names of basic logical entities (variables etc.).