improved the printability of synopsis examples

This commit is contained in:
aarne
2011-10-24 15:17:53 +00:00
parent a835cf263b
commit 80a079f20b
4 changed files with 86 additions and 86 deletions

View File

@@ -74,7 +74,7 @@ mkEx = unwords . bind . mkE . words where
mkE e = case e of
"atomic":"term":_ -> ["*"]
"[]":_ -> ["''"]
"pre":p@('{':_):es -> init (init (drop 2 p)) : mkE es
"pre":p@('{':_):es -> init (init (drop 2 p)) : [] ---- mkE es -- occurs only on last position
e0:es -> e0:mkE es
_ -> e