isabelle: Changelog

berghofe [Tue, 21 Oct 2008 21:18:54 +0200] rev 28652

Added nominal_inductive2.ML

wenzelm [Tue, 21 Oct 2008 20:18:45 +0200] rev 28651

added jEdit settings;

wenzelm [Tue, 21 Oct 2008 20:18:07 +0200] rev 28650

tuned usage line;

wenzelm [Tue, 21 Oct 2008 20:17:40 +0200] rev 28649

Isabelle/jEdit interface wrapper.

wenzelm [Tue, 21 Oct 2008 16:53:10 +0200] rev 28648

join results in isolation;

wenzelm [Tue, 21 Oct 2008 16:53:00 +0200] rev 28647

join_results: allow CRITICAL join of finished futures; added singleton join_result;

wenzelm [Tue, 21 Oct 2008 16:52:59 +0200] rev 28646

Future.join_result;

wenzelm [Tue, 21 Oct 2008 15:01:18 +0200] rev 28645

added Future.enabled check;

wenzelm [Tue, 21 Oct 2008 15:01:16 +0200] rev 28644

ThyOutput: export some auxiliary operations;

nipkow [Mon, 20 Oct 2008 23:53:17 +0200] rev 28643

fixed proof

isabelle