the distribution now includes Isabelle icons: see
authorwenzelm
Fri Jul 10 15:24:22 1998 +0200 (1998-07-10)
changeset 5131dd4ac220b8b4
parent 5130 95faaa02274a
child 5132 24f992a25adc
the distribution now includes Isabelle icons: see
lib/logo/isabelle-{small,tiny}.xpm;
NEWS
     1.1 --- a/NEWS	Fri Jul 10 15:19:10 1998 +0200
     1.2 +++ b/NEWS	Fri Jul 10 15:24:22 1998 +0200
     1.3 @@ -81,6 +81,9 @@
     1.4  * new theory section 'setup' for generic ML setup functions
     1.5  (e.g. package initialization);
     1.6  
     1.7 +* the distribution now includes Isabelle icons: see
     1.8 +lib/logo/isabelle-{small,tiny}.xpm;
     1.9 +
    1.10  
    1.11  *** HOL ***
    1.12