Doc: Minor notation fixes.
commit43a9a4fc091c79108885b9ad06913e05cac5aa61
authorHenrik Tidefelt <tidefelt@isy.liu.se>
Tue, 11 Nov 2008 12:11:21 +0000 (11 13:11 +0100)
committerHenrik Tidefelt <tidefelt@isy.liu.se>
Tue, 11 Nov 2008 12:11:21 +0000 (11 13:11 +0100)
tree2d79ec75fa161bc462944b702f3c4a49ae01a5fd
parent4b2c76e51fecefd786e115d0fc88846d85c8f99f
Doc: Minor notation fixes.
doc/parts/syntax/atoms.sxml