Fix description of restart-case
commitc9a10579f0b1575ecae77bf2d5bb3df32440c819
authorBert Burgemeister <trebbu@googlemail.com>
Wed, 22 Aug 2012 03:58:58 +0000 (22 05:58 +0200)
committerBert Burgemeister <trebbu@googlemail.com>
Wed, 22 Aug 2012 03:58:58 +0000 (22 05:58 +0200)
treea90dac9d846bdb4d24bace63d0b394f10a550ec5
parent916af31f28e7d1d6a101263dafb6786e97ad3179
Fix description of restart-case
clqr-conditions-and-errors.tex