add refs and fix a bug (noted by Peter Gammie) in docs of arrow notation
authorRoss Paterson <ross@soi.city.ac.uk>
Mon, 15 Sep 2008 10:47:57 +0000 (10:47 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Mon, 15 Sep 2008 10:47:57 +0000 (10:47 +0000)
commitd3bbee1c1a128daf17875a56bc4a335349a31124
tree5c7acfd29db7f24e6bd4cc92c6d71f57e4f72e81
parent2df88d37ccd23e42f04b43237ac1f42d315d47f8
add refs and fix a bug (noted by Peter Gammie) in docs of arrow notation
docs/users_guide/glasgow_exts.xml