Changes of ICFP 2006 from #49 to #50

55: 1.1.1 IDEA

56: Downlaod unter http://www.jetbrains.com/idea/download/.

57: Key: 2125475738-2QR8D-54MW1-S0ZZD-XVI67-GBM72

58: Ich ([Alex]) habe den key in einer Datei namens idea40.key (siehe Anhänge), welche in ~/.IntelliJIdea50/config liegt. ich hab IDEA also ohne Key installiert und dann den Key in diese Datei gepackt und in das genannte Verzeichnis kopiert. Es geht.