Make name markers typographically less crazy
commit5cbb6d8ce18968667ed6ae56383179fb8fb9ddf3
authorBert Burgemeister <trebbu@googlemail.com>
Fri, 28 Oct 2011 11:10:45 +0000 (28 13:10 +0200)
committerBert Burgemeister <trebbu@googlemail.com>
Fri, 28 Oct 2011 11:10:45 +0000 (28 13:10 +0200)
tree2fc7f49408525b905195dd555d7884eea37c81b0
parent85dc78b9108775210ff86fd8b99ec4fe9d5b4522
Make name markers typographically less crazy

Thanks to Paul Whittaker for suggestions and encouragement.
13 files changed:
TAGS
clqr-arrays.tex
clqr-characters.tex
clqr-clos.tex
clqr-conses.tex
clqr-control-structure.tex
clqr-external-environment.tex
clqr-input-output.tex
clqr-numbers.tex
clqr-packages-and-symbols.tex
clqr-types-and-classes.tex
clqr.macros.tex
clqr.packages.tex