isabelle: Changelog

wenzelm [Wed, 07 Aug 2013 14:13:59 +0200] rev 52890

tuned signature; tuned;

wenzelm [Wed, 07 Aug 2013 13:46:32 +0200] rev 52889

more tight interface for markup cumulate/select: avoid duplicate application, allow to defer decision about definedness;

wenzelm [Wed, 07 Aug 2013 11:50:14 +0200] rev 52888

tuned;

wenzelm [Wed, 07 Aug 2013 11:44:17 +0200] rev 52887

tuned signature;

wenzelm [Wed, 07 Aug 2013 11:17:06 +0200] rev 52886

enabled key event to apply query;

wenzelm [Wed, 07 Aug 2013 10:58:26 +0200] rev 52885

prefer single-line HistoryTextField;

kuncar [Wed, 07 Aug 2013 15:40:59 +0200] rev 52884

contract equalities in transfer and transfer domain rules when they are registered

kuncar [Wed, 07 Aug 2013 15:40:29 +0200] rev 52883

expand equalities in the transfer relation in transfer_prover if the relation doesn't follow the functional structure

wenzelm [Tue, 06 Aug 2013 23:24:10 +0200] rev 52882

merged

wenzelm [Tue, 06 Aug 2013 23:20:25 +0200] rev 52881

misc tuning and simplification;

isabelle