| 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 |
| Fri, 17 Sep 2010 20:56:32 +0200 | wenzelm | Isabelle_Process: status/report do not require serial numbers; | changeset | files |
| Fri, 17 Sep 2010 20:42:26 +0200 | wenzelm | simplified some internal flags using Config.T instead of full-blown Proof_Data; | changeset | files |
| Fri, 17 Sep 2010 20:18:27 +0200 | wenzelm | tuned signature of (Context_)Position.report variants; | changeset | files |