isabelle: Changelog

wenzelm [Wed, 14 Feb 2001 23:42:45 +0100] rev 11126

isatool install -k;

wenzelm [Wed, 14 Feb 2001 23:18:47 +0100] rev 11125

handle KDE version 1 or 2;

wenzelm [Wed, 14 Feb 2001 23:17:53 +0100] rev 11124

isatool install handles KDE version 1 or 2;

oheimb [Wed, 14 Feb 2001 20:45:35 +0100] rev 11123

removed whitespace

oheimb [Wed, 14 Feb 2001 20:44:59 +0100] rev 11122

supressed some warnings on identical proofstate

wenzelm [Wed, 14 Feb 2001 19:31:05 +0100] rev 11121

adhoc script for creating complete Isabelle dist pages;

berghofe [Wed, 14 Feb 2001 19:27:49 +0100] rev 11120

imp_cong2 -> imp_cong

paulson [Wed, 14 Feb 2001 13:26:46 +0100] rev 11119

new function get_overloads

paulson [Wed, 14 Feb 2001 13:19:14 +0100] rev 11118

updated the unicity proof

paulson [Wed, 14 Feb 2001 13:01:02 +0100] rev 11117

tidying

isabelle