src/Tools/Code/code_symbol.ML
2014-05-02 haftmann 2014-05-02 enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)
2014-05-01 haftmann 2014-05-01 optional case enforcement
2014-05-01 haftmann 2014-05-01 obsolete: no symbol identifiers remaining in Pure
2014-03-21 wenzelm 2014-03-21 more qualified names;
2014-02-03 wenzelm 2014-02-03 more formal markup;
2014-01-25 haftmann 2014-01-25 less clumsy namespace
2014-01-25 haftmann 2014-01-25 immediate "activation" of const syntax at declaration time
2014-01-25 haftmann 2014-01-25 prefer explicit code symbol type over ad-hoc name mangling
2014-01-19 haftmann 2014-01-19 table for code symbols
2014-01-11 haftmann 2014-01-11 provide default name in splitted representation
2014-01-06 haftmann 2014-01-06 order and graph for code symbols
2013-05-30 wenzelm 2013-05-30 tuned headers;
2013-05-24 haftmann 2013-05-24 bookkeeping and input syntax for exact specification of names of symbols in generated code
2013-05-24 haftmann 2013-05-24 dedicated module for code symbol data