Prevent page breaks directly before boxed typings.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 10:15:28 +0000 (11:15 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 10:15:28 +0000 (11:15 +0100)
commit154ed9087b16da84af53fb30abee57bfd9e16a04
tree9864e4f3fcf3f550db11abbed1a61662d6554f80
parentc736d161ca713dd0798f945e09c1324a297e2e40
Prevent page breaks directly before boxed typings.
Utils/Lambda.tex