| Fri, 17 Sep 2010 21:50:44 +0200 | wenzelm | Isabelle_Markup.overview_color: indicate error / warning messages; | changeset | files |
| Fri, 17 Sep 2010 21:49:34 +0200 | wenzelm | some specific message classification; | changeset | files |
| Fri, 17 Sep 2010 21:04:56 +0200 | wenzelm | Syntax.read_asts error: report token ranges within message -- no side-effect here; | changeset | files |