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

Lars Noschinski noschinl at in.tum.de
Fri Oct 9 09:47:51 CEST 2015


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

More information about the isabelle-dev mailing list