]> git.pond.sub.org Git - empserver/commit
Markup changes: separate items more clearly. Don't use numeric fonts.
authorMarkus Armbruster <armbru@pond.sub.org>
Sat, 28 Feb 2004 17:50:55 +0000 (17:50 +0000)
committerMarkus Armbruster <armbru@pond.sub.org>
Sat, 28 Feb 2004 17:50:55 +0000 (17:50 +0000)
commitaa4e268d899ff576d9d6dbdc3c43035162edb5b8
tree19bcb3ae5d3763f61103e7cf7f0ef2eb33fca3d1
parent966d3e7820fef36badefcf4249b5cbc6f5839212
Markup changes: separate items more clearly.  Don't use numeric fonts.
info/Concepts/Syntax.t