| Sun, 08 Aug 2010 19:54:54 +0200 | wenzelm | prefer Context_Position.report where a proper context is available -- notably for "inner" entities; | changeset | files |
| Sun, 08 Aug 2010 19:36:31 +0200 | wenzelm | explicitly distinguish Output.status (essential feedback) vs. Output.report (useful markup); | changeset | files |
| Sun, 08 Aug 2010 14:22:54 +0200 | wenzelm | fixed odd runtime type error, which appears to have escaped the scala-2.8.0.final compiler; | changeset | files |
| Sun, 08 Aug 2010 14:00:59 +0200 | wenzelm | YXML.parse: refrain from interning, let XML.Cache do it (partially); | changeset | files |
| Sun, 08 Aug 2010 13:59:57 +0200 | wenzelm | cache_string: store trimmed string value; | changeset | files |
| Sat, 07 Aug 2010 23:02:19 +0200 | wenzelm | simple_dialog: allow scala.swing.Component as well; | changeset | files |