wenzelm [Fri, 28 May 2010 20:41:23 +0200] rev 37175
assume given SCALA_HOME, e.g. from component settings or external setup;
webertj [Fri, 28 May 2010 19:36:48 +0100] rev 37174
Got rid of a warning about duplicate rewrite rules.
wenzelm [Fri, 28 May 2010 18:15:53 +0200] rev 37173
merged
wenzelm [Fri, 28 May 2010 18:15:22 +0200] rev 37172
made SML/NJ quite happy;
wenzelm [Fri, 28 May 2010 17:48:18 +0200] rev 37171
reuse main view.font from jEdit;
wenzelm [Fri, 28 May 2010 16:01:25 +0200] rev 37170
deleted some old fonts;
wenzelm [Fri, 28 May 2010 15:57:25 +0200] rev 37169
also set font for printing, which actually works out of the box;
wenzelm [Fri, 28 May 2010 15:17:17 +0200] rev 37168
lib/Tools/makeall does not hardiwre logics;
wenzelm [Fri, 28 May 2010 11:37:38 +0200] rev 37167
discontinued Sun/Solaris tests;
blanchet [Fri, 28 May 2010 17:00:38 +0200] rev 37166
merged