[isabelle-dev] local ghc and happy installations in Munich

[Lars Noschinski]

Hi,

historically, I am still responsible for our local ghc-6.12.1,
ghc-7.0.3, and happy-1.16 installations. As far as I can tell, these are
not used anymore -- if anybody disagrees, please speak up.

Otherwise, I will delete them next week.

  -- Lars