[haddock @ 2002-04-09 11:23:24 by simonmar] Add '-- /' as a synonym for '-- |', for compatibility with IDoc.
[haddock @ 2002-04-09 11:23:24 by simonmar]
Add '-- /' as a synonym for '-- |', for compatibility with IDoc.

esmolanka/haddock,Acidburn0zzz/haddock,Wizek/haddock,haskell/haddock,esmolanka/haddock,JPMoresmau/haddock,jstolarek/haddock,beni55/haddock,lamefun/haddock,sboosali/haddock,lamefun/haddock,Fuuzetsu/haddock,haskell/haddock,niteria/haddock,adamse/haddock,idontgetoutmuch/haddock,beni55/haddock,niteria/haddock,Fuuzetsu/haddock,haskell/haddock,Acidburn0zzz/haddock,idontgetoutmuch/haddock,sboosali/haddock,niteria/haddock,mrhania/haddock,randen/haddock,randen/haddock,jstolarek/haddock,beni55/haddock,Fuuzetsu/haddock,adamse/haddock,esmolanka/haddock,Helkafen/haddock,randen/haddock,Acidburn0zzz/haddock,mrBliss/haddock,mrBliss/haddock,Helkafen/haddock,idontgetoutmuch/haddock,Mistuke/haddock,Fuuzetsu/haddock,mrhania/haddock,lamefun/haddock,jgm/haddock,Wizek/haddock,Wizek/haddock,JPMoresmau/haddock,Mistuke/haddock,sboosali/haddock,ghcjs/haddock-internal,jgm/haddock,Mistuke/haddock,adamse/haddock,Helkafen/haddock,haskell/haddock,ghcjs/haddock-internal,JPMoresmau/haddock,mrBliss/haddock,haskell/haddock,mrhania/haddock