NEWS
changeset 50716 e04c44dc11fc
parent 50701 054f6bf349d2
child 50717 30bcdd5c8e78
     1.1 --- a/NEWS	Fri Jan 04 12:33:25 2013 +0100
     1.2 +++ b/NEWS	Fri Jan 04 12:44:47 2013 +0100
     1.3 @@ -123,6 +123,9 @@
     1.4  
     1.5    typ "_ * _ * bool * unit" :: finite
     1.6  
     1.7 +* Command 'locale_deps' visualizes all locales and their relations as
     1.8 +a Hasse diagram.
     1.9 +
    1.10  
    1.11  *** HOL ***
    1.12