isabelle: Changelog

krauss [Fri, 06 Nov 2009 12:13:45 +0100] rev 33467

added boehmes and hoelzl to isatest mailings

wenzelm [Fri, 06 Nov 2009 10:26:13 +0100] rev 33466

merged

boehmes [Fri, 06 Nov 2009 09:27:20 +0100] rev 33465

tuned

ballarin [Thu, 05 Nov 2009 20:42:47 +0100] rev 33464

Merged.

ballarin [Wed, 04 Nov 2009 22:54:42 +0100] rev 33463

Merged.

ballarin [Wed, 04 Nov 2009 22:51:27 +0100] rev 33462

Use PrintMode.setmp to make thread-safe; avoid code clones.

ballarin [Mon, 02 Nov 2009 22:51:22 +0100] rev 33461

Make output indenpendent of current print mode.

ballarin [Mon, 02 Nov 2009 21:27:26 +0100] rev 33460

Relax on type agreement with original context when applying term syntax.

wenzelm [Thu, 05 Nov 2009 23:59:23 +0100] rev 33459

tuned;

wenzelm [Thu, 05 Nov 2009 22:59:57 +0100] rev 33458

proper naming convention lthy: local_theory, but ctxt: Proof.context for arbitrary context; tuned signature; tuned;

isabelle