| changeset 43709 | 717e96cf9527 |
| parent 43627 | ecd4bb7a8bc0 |
| child 43731 | 70072780e095 |
| child 43736 | d2f7af6e993c |
--- a/NEWS Fri Jul 08 16:01:14 2011 +0200 +++ b/NEWS Fri Jul 08 16:13:34 2011 +0200 @@ -123,6 +123,9 @@ *** Document preparation *** +* Discontinued special treatment of hard tabulators, which are better +avoided in the first place. Implicit tab-width is 1. + * Antiquotation @{rail} layouts railroad syntax diagrams, see also isar-ref manual.