isabelle: Changelog

oheimb [Thu, 15 Feb 2001 15:56:51 +0100] rev 11132

added trial proof

oheimb [Thu, 15 Feb 2001 14:30:13 +0100] rev 11131

improved subst_RS

oheimb [Thu, 15 Feb 2001 13:07:03 +0100] rev 11130

added missiong word

nipkow [Thu, 15 Feb 2001 11:15:39 +0100] rev 11129

*** empty log message ***

Thu, 15 Feb 2001 00:53:45 +0100 index mod syntax;

wenzelm [Thu, 15 Feb 2001 00:53:45 +0100] rev 11128

index mod syntax;

wenzelm [Wed, 14 Feb 2001 23:43:55 +0100] rev 11127

tuned;

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

isabelle