changeset 44580 | 717e96cf9527 |
parent 44494 | ecd4bb7a8bc0 |
child 44589 | d2f7af6e993c |
child 44613 | 70072780e095 |
1.1 --- a/NEWS Fri Jul 08 16:01:14 2011 +0200 1.2 +++ b/NEWS Fri Jul 08 16:13:34 2011 +0200 1.3 @@ -123,6 +123,9 @@ 1.4 1.5 *** Document preparation *** 1.6 1.7 +* Discontinued special treatment of hard tabulators, which are better 1.8 +avoided in the first place. Implicit tab-width is 1. 1.9 + 1.10 * Antiquotation @{rail} layouts railroad syntax diagrams, see also 1.11 isar-ref manual. 1.12