1.1 --- a/doc-src/ERRATA.txt	Wed May 10 08:38:52 1995 +0200
     1.2 +++ b/doc-src/ERRATA.txt	Thu May 11 10:33:07 1995 +0200
     1.3 @@ -27,6 +27,7 @@
     1.4  Introduction
     1.5  
     1.6  page 67: show_brackets is another flag, controlling display of bracketting
     1.7 +show_sorts:=true forces display of types
     1.8  
     1.9  Tactics
    1.10