NEWS
changeset 5131 dd4ac220b8b4
parent 5128 66c4d554e93f
child 5140 216a5dab14b6
     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