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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
