src/Pure/General/name_space.ML
2005-03-24 ago Further work on interpretation commands. New command `interpret' for
2005-03-04 ago Removed practically all references to Library.foldr.
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-07-06 ago added flag unique_names
2004-06-21 ago Merged in license change from Isabelle2004
2004-02-11 ago Added flag short_names
2003-09-22 ago Modified merge_aux to prevent newer names from getting overwritten
2002-07-10 ago added accesses';
2001-12-21 ago hide: flag for full/base name;
2001-11-20 ago moved prefixes1, suffixes1 to library.ML;
2001-10-18 ago added map_base;
2000-06-25 ago export hidden: string -> string;
2000-05-05 ago GPLed;
2000-04-17 ago improved output of ambiguous entries;
1999-06-28 ago added cond_extern_table;
1999-01-13 ago fixed titles;
1998-10-20 ago Symtab.foldl;
1998-07-22 ago moved long_names / cond_extern to name_space.ML;
1998-06-10 ago moved name_space.ML to General/name_space.ML;