isabelle: Changelog

wenzelm [Thu, 23 Nov 2006 23:05:28 +0100] rev 21508

more careful declaration of "inducts";

wenzelm [Thu, 23 Nov 2006 22:38:32 +0100] rev 21507

tuned;

wenzelm [Thu, 23 Nov 2006 22:38:30 +0100] rev 21506

prefer Proof.context over Context.generic;

wenzelm [Thu, 23 Nov 2006 22:38:29 +0100] rev 21505

prefer Proof.context over Context.generic; tuned;

wenzelm [Thu, 23 Nov 2006 22:38:28 +0100] rev 21504

tuned proofs;

aspinall [Thu, 23 Nov 2006 22:14:26 +0100] rev 21503

Accept URLs of form file:/home... also.

wenzelm [Thu, 23 Nov 2006 20:34:21 +0100] rev 21502

prefer antiquotations over LaTeX macros;

wenzelm [Thu, 23 Nov 2006 20:33:42 +0100] rev 21501

updated;

wenzelm [Thu, 23 Nov 2006 20:33:41 +0100] rev 21500

renamed Args.Name to Args.Text;

wenzelm [Thu, 23 Nov 2006 20:33:39 +0100] rev 21499

uniform interface for type_syntax/term_syntax/declaration, dependent on morphism; tuned some morphisms;

isabelle