wenzelm [Sun, 08 Mar 2009 15:01:10 +0100] rev 30358
index_ML: removed spurious writeln introduced in 41ce4f5c97c9 -- it merely produces unreadable LaTeX sources;
wenzelm [Sun, 08 Mar 2009 12:16:12 +0100] rev 30357
proper context for Simplifier.pretty_ss;
wenzelm [Sun, 08 Mar 2009 12:15:58 +0100] rev 30356
added dest_ss;
proper context fo pretty_ss;
tuned;
wenzelm [Sun, 08 Mar 2009 00:41:52 +0100] rev 30355
use binding type;
wenzelm [Sun, 08 Mar 2009 00:16:34 +0100] rev 30354
merged
wenzelm [Sat, 07 Mar 2009 23:37:09 +0100] rev 30353
merged
wenzelm [Sat, 07 Mar 2009 23:30:58 +0100] rev 30352
minimal adaptions for abstract binding type;
wenzelm [Sat, 07 Mar 2009 22:17:25 +0100] rev 30351
more uniform handling of binding in packages;
wenzelm [Sat, 07 Mar 2009 22:16:50 +0100] rev 30350
more uniform handling of binding in targets and derived elements;
wenzelm [Sat, 07 Mar 2009 22:12:07 +0100] rev 30349
replace old bstring by binding for logical primitives: class, type, const etc.;