Update the User Guide with generics stuff.
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Thu, 5 May 2011 10:13:36 +0000 (12:13 +0200)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Thu, 5 May 2011 10:13:36 +0000 (12:13 +0200)
commit8670207566dcb8aad067e963b77a3fa1dc5b5111
tree13f47b4ab9681f40cc7560a01525aeb63e2f7db5
parent0d3a6d5371e6f7a739a9b03ece6d72eb8a3803c7
Update the User Guide with generics stuff.
docs/users_guide/flags.xml
docs/users_guide/glasgow_exts.xml