isabelle: Changelog

haftmann [Mon, 03 Jan 2011 14:01:42 +0100] rev 41425

tuned whitespace

wenzelm [Fri, 31 Dec 2010 00:11:24 +0100] rev 41424

do not open structure Codegen;

wenzelm [Thu, 30 Dec 2010 23:42:06 +0100] rev 41423

do not open auxiliary ML structures;

wenzelm [Thu, 30 Dec 2010 22:34:53 +0100] rev 41422

uniform treatment of type vs. term environment (cf. b654fa27fbc4); tuned;

wenzelm [Thu, 30 Dec 2010 22:07:18 +0100] rev 41421

uniform treatment of typ_match and raw_match (cf. b654fa27fbc4);

wenzelm [Thu, 30 Dec 2010 13:31:32 +0100] rev 41420

tuned isatest settings;

wenzelm [Wed, 29 Dec 2010 22:51:33 +0100] rev 41419

merged

krauss [Wed, 29 Dec 2010 21:52:44 +0100] rev 41418

more robust decomposition of simultaneous goals

krauss [Wed, 29 Dec 2010 21:52:41 +0100] rev 41417

function (default) is legacy feature

wenzelm [Wed, 29 Dec 2010 21:21:11 +0100] rev 41416

more scalable Symbol_Pos.explode;

isabelle