The machine(s) under the name ¡­

The machine(s) under the name login.ifi.uio.no were switched over to a different (64-bit) version of Linux this weekend. The effect was that our course environmnet failed to start up the LKB today. This should now be fixed again; if you continue to encounter problems with launching our LKB and Lisp environment, please email us.