src/Pure/General/name_space.ML
2004-07-06 schirmer 2004-07-06 added flag unique_names
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-02-11 berghofe 2004-02-11 Added flag short_names
2003-09-22 berghofe 2003-09-22 Modified merge_aux to prevent newer names from getting overwritten by older names.
2002-07-10 wenzelm 2002-07-10 added accesses';
2001-12-21 wenzelm 2001-12-21 hide: flag for full/base name;
2001-11-20 wenzelm 2001-11-20 moved prefixes1, suffixes1 to library.ML;
2001-10-18 wenzelm 2001-10-18 added map_base;
2000-06-25 wenzelm 2000-06-25 export hidden: string -> string;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-04-17 wenzelm 2000-04-17 improved output of ambiguous entries; support hiding;
1999-06-28 wenzelm 1999-06-28 added cond_extern_table;
1999-01-13 wenzelm 1999-01-13 fixed titles;
1998-10-20 wenzelm 1998-10-20 Symtab.foldl;
1998-07-22 wenzelm 1998-07-22 moved long_names / cond_extern to name_space.ML;
1998-06-10 wenzelm 1998-06-10 moved name_space.ML to General/name_space.ML;