spec: weitere mini-fixes
authorBernhard Urban <lewurm@gmail.com>
Thu, 29 Apr 2010 17:56:47 +0000 (19:56 +0200)
committerBernhard Urban <lewurm@gmail.com>
Thu, 29 Apr 2010 17:56:47 +0000 (19:56 +0200)
commitffc1ba31ba25c469777fae842c229493f4188a0c
tree6e2c9845e90a6168cc6f66c14c5d684ecff28520
parent1cea43fc7a3a4863a5ff2bd5e4927fd23a5ae735
spec: weitere mini-fixes
spec/sm/scanner.tex
spec/speck.tex