On Thu, Apr 27, 2000 at 12:21:52PM +0200, Lars Gullik Bj&resh;nnes wrote:
> Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:
>
> | Lars> It does not buy anything other than 19 bytes saved.
But you can have many protected spaces in one document.
For example, the reference manual contains 1012 p. spaces, so the cost is
19228 bytes, or ~6% of the length of the file!
> | It buys us a somewhat more coherent file format (roughly
> | latex-based).
>
> And we will probably move away from latex and towards something like
> <protected-space/> (or perhaps a short variant <pb/> )
We had this discussion some time ago, and everybody agreed that we should use
"\SpecialChar ~" instead of "\SpecialChar \protected_separator"
