From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 24 Nov 2009 15:04:31 +0000 (+0100)
Subject: Use a non-breaking space instead of \obs in the lambda prettyprinter.
X-Git-Tag: final-thesis~143
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=d26b51ab9dfb0a9778023bb6c53857e4eec055e9;hp=d26b51ab9dfb0a9778023bb6c53857e4eec055e9

Use a non-breaking space instead of \obs in the lambda prettyprinter.

This makes sure that lambda expressions don't get breaks halfway, but
still preserves multiple spaces (apparently the unicode non-breaking space
is not collapsed like other whitespace).
---