isabelle: Changelog

wenzelm [Tue, 21 Jun 2005 09:35:30 +0200] rev 16510

tuned SUBGOAL: Logic.nth_prem instead of List.nth o prems_of;

wenzelm [Tue, 21 Jun 2005 09:31:57 +0200] rev 16509

fixed HOL-Complex-Matrix target;

haftmann [Tue, 21 Jun 2005 08:16:03 +0200] rev 16508

removed mkcontent from makedist

kleing [Tue, 21 Jun 2005 00:45:56 +0200] rev 16507

fix 'give up waiting message' (logs of running processes are not attached)

wenzelm [Mon, 20 Jun 2005 22:14:21 +0200] rev 16506

* Pure: get_thm interface expects datatype thmref; * More efficient treatment of intermediate theory checkpoints;

wenzelm [Mon, 20 Jun 2005 22:14:20 +0200] rev 16505

avoid identifier 'Name';

wenzelm [Mon, 20 Jun 2005 22:14:19 +0200] rev 16504

Theory.begin/end_theory;

wenzelm [Mon, 20 Jun 2005 22:14:18 +0200] rev 16503

clarify empty vs. pure browser info;

wenzelm [Mon, 20 Jun 2005 22:14:17 +0200] rev 16502

added pointer_eq;

wenzelm [Mon, 20 Jun 2005 22:14:15 +0200] rev 16501

thmref: Name vs. NameSelection; tuned;

isabelle