blanchet [Wed, 08 Sep 2010 16:01:06 +0200] rev 39469
merge
blanchet [Wed, 08 Sep 2010 15:57:50 +0200] rev 39468
remove "safe" (as suggested by Tobias) and added "arith" to "try"
blanchet [Mon, 06 Sep 2010 17:51:26 +0200] rev 39467
remove "minipick" (the toy version of Nitpick) and some tests;
a small step towards making the Nitpick tests take less time
blanchet [Mon, 06 Sep 2010 16:50:29 +0200] rev 39466
use Future.fork rather than Thread.fork, so that the thread is part of the global thread management
blanchet [Mon, 06 Sep 2010 13:48:10 +0200] rev 39465
fix editor
wenzelm [Wed, 08 Sep 2010 14:46:21 +0200] rev 39464
merged
wenzelm [Wed, 08 Sep 2010 00:17:41 +0200] rev 39463
disposed some old TODO/FIXME;
wenzelm [Tue, 07 Sep 2010 23:59:14 +0200] rev 39462
Document_View: select gutter message icons from markup over line range, not full range results;
tuned;
wenzelm [Tue, 07 Sep 2010 23:53:27 +0200] rev 39461
tuned properties;
wenzelm [Tue, 07 Sep 2010 23:23:19 +0200] rev 39460
moved token markup tables to isabelle_markup.scala;