abort and friends: default value added
commit071e6170987132b778fd5b30e1d513e4edd230fb
authortailor <trebbu@googlemail.com>
Sun, 21 Sep 2008 18:55:12 +0000 (21 20:55 +0200)
committertailor <trebbu@googlemail.com>
Sun, 21 Sep 2008 18:55:12 +0000 (21 20:55 +0200)
tree6253ede94cf1c3953df429ad807fecc0242ca5db
parentce2f6ff57194b4050e4005a757542c4969ef9012
abort and friends: default value added
clqr-conditions-and-errors.tex