widen the third column in syntax tables
authorSimon Marlow <marlowsd@gmail.com>
Wed, 28 Apr 2010 13:11:20 +0000 (13:11 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 28 Apr 2010 13:11:20 +0000 (13:11 +0000)
commit5d84e9fc6352b02ae078bbee06624c44abbee77e
tree37afb0be123202f3f382b0e6b1bdfb61fb8ef068
parent1b3f2660ecb87f6648cd83a9d623d7452e216374
widen the third column in syntax tables
tools/tex.hs