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