Mon, 16 Apr 2012 23:07:40 +0200 redirect bash stderr to Isabelle warning as appropriate -- avoid raw process error output which may either get ignored or overload PIDE syslog in extreme cases;
wenzelm [Mon, 16 Apr 2012 23:07:40 +0200] rev 47499
redirect bash stderr to Isabelle warning as appropriate -- avoid raw process error output which may either get ignored or overload PIDE syslog in extreme cases;
Mon, 16 Apr 2012 21:53:11 +0200 updated and clarified OF/MRS;
wenzelm [Mon, 16 Apr 2012 21:53:11 +0200] rev 47498
updated and clarified OF/MRS;
Mon, 16 Apr 2012 21:37:08 +0200 document attribute "abs_def";
wenzelm [Mon, 16 Apr 2012 21:37:08 +0200] rev 47497
document attribute "abs_def";
Mon, 16 Apr 2012 19:38:48 +0200 repaired some damage caused by merging with version from 12 days ago (cf. 8c8f27864ed1);
wenzelm [Mon, 16 Apr 2012 19:38:48 +0200] rev 47496
repaired some damage caused by merging with version from 12 days ago (cf. 8c8f27864ed1);
Mon, 16 Apr 2012 19:01:57 +0200 merged
nipkow [Mon, 16 Apr 2012 19:01:57 +0200] rev 47495
merged
Wed, 04 Apr 2012 09:59:49 +0200 refined new tutorial announcement
nipkow [Wed, 04 Apr 2012 09:59:49 +0200] rev 47494
refined new tutorial announcement
Mon, 16 Apr 2012 17:26:32 +0200 merged
bulwahn [Mon, 16 Apr 2012 17:26:32 +0200] rev 47493
merged
Mon, 16 Apr 2012 17:22:51 +0200 duplicate "relpow" facts for "relpowp" (to emphasize that both worlds exist and obtain better search results with "find_theorems")
Christian Sternagel [Mon, 16 Apr 2012 17:22:51 +0200] rev 47492
duplicate "relpow" facts for "relpowp" (to emphasize that both worlds exist and obtain better search results with "find_theorems")
Mon, 16 Apr 2012 17:20:32 +0200 updated for release;
wenzelm [Mon, 16 Apr 2012 17:20:32 +0200] rev 47491
updated for release;
Mon, 16 Apr 2012 15:09:47 +0200 more precise handling of java failure, due to missing ISABELLE_JDK_HOME;
wenzelm [Mon, 16 Apr 2012 15:09:47 +0200] rev 47490
more precise handling of java failure, due to missing ISABELLE_JDK_HOME;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip