src/Tools/Code/code_namespace.ML
2011-08-20 wenzelm 2011-08-20 refined Graph implementation: more abstract/scalable Graph.Keys instead of plain lists -- order of adjacency is now standardized wrt. Key.ord;
2011-06-09 wenzelm 2011-06-09 simplified Name.variant -- discontinued builtin fold_map;
2010-11-25 haftmann 2010-11-25 toplevel deresolving for flat module name space
2010-11-22 haftmann 2010-11-22 tuned
2010-11-22 haftmann 2010-11-22 tuned
2010-09-07 haftmann 2010-09-07 added flat_program; tuned signature
2010-09-07 haftmann 2010-09-07 factored out build_module_namespace
2010-09-04 haftmann 2010-09-04 printing combinator for hierarchical programs
2010-09-02 haftmann 2010-09-02 removed namespace stuff from code_printer
2010-09-02 haftmann 2010-09-02 skip empty name bunches; fill up trailing positions with NONEs
2010-09-01 haftmann 2010-09-01 simultaneous modification of statements: statement names
2010-09-01 haftmann 2010-09-01 simultaneous modification of statements
2010-09-01 haftmann 2010-09-01 explicit modify_stmt parameter
2010-09-01 haftmann 2010-09-01 tuned
2010-09-01 haftmann 2010-09-01 generalized hierarchical data structure over statements
2010-09-01 haftmann 2010-09-01 factored out generic part of Scala serializer into code_namespace.ML