restart-case more elaborate
commit7b578f430fc8ae109f4e98917d2fc4614c02faff
authortailor <trebbu@googlemail.com>
Sat, 20 Sep 2008 18:34:46 +0000 (20 20:34 +0200)
committertailor <trebbu@googlemail.com>
Sat, 20 Sep 2008 18:34:46 +0000 (20 20:34 +0200)
tree6d526f2fb30411ab7e80dfa05c452238d5f647ee
parent8c67414be75feb4574ec5f3849da96a316800153
restart-case more elaborate
TODO
clqr-clos.tex
clqr-conditions-and-errors.tex
clqr.tex