isabelle: Changelog

wenzelm [Wed, 12 Jul 2006 19:59:13 +0200] rev 20111

query/bang_colon: separate tokens;

haftmann [Wed, 12 Jul 2006 17:40:52 +0200] rev 20110

purged website sources

haftmann [Wed, 12 Jul 2006 17:00:33 +0200] rev 20109

added strip_abs_eta

haftmann [Wed, 12 Jul 2006 17:00:32 +0200] rev 20108

added chop_prefix

haftmann [Wed, 12 Jul 2006 17:00:31 +0200] rev 20107

class_of_param instead of class_of

haftmann [Wed, 12 Jul 2006 17:00:30 +0200] rev 20106

adaptions in class_package

haftmann [Wed, 12 Jul 2006 17:00:22 +0200] rev 20105

adaptions in codegen

wenzelm [Wed, 12 Jul 2006 00:34:54 +0200] rev 20104

variants: special treatment of empty name;

wenzelm [Tue, 11 Jul 2006 23:49:32 +0200] rev 20103

avoid reference to internal skolem;

wenzelm [Tue, 11 Jul 2006 23:00:39 +0200] rev 20102

separate names filed (covers fixes/defaults);

isabelle