http://isabelle.in.tum.de/repos/haskabelle/ en-us haskabelle Changelog haskabelle Changelog Added tag Haskabelle2012 for changeset 4342c3d4fa34 http://isabelle.in.tum.de/repos/haskabelle/rev/54fea323af8d noschinl Thu, 10 May 2012 11:58:57 +0200 rebuild adaptation table for Isabelle2012-RC1 http://isabelle.in.tum.de/repos/haskabelle/rev/4342c3d4fa34 noschinl Thu, 03 May 2012 14:32:03 +0200 update tested dependencies http://isabelle.in.tum.de/repos/haskabelle/rev/6d9b6941751c noschinl Thu, 03 May 2012 14:27:33 +0200 make compatible to ghc 7.4.1 http://isabelle.in.tum.de/repos/haskabelle/rev/3a3adfc1b78d noschinl Thu, 03 May 2012 14:27:56 +0200 merged http://isabelle.in.tum.de/repos/haskabelle/rev/0b59f750d0fa noschinl Thu, 03 May 2012 11:42:40 +0200 fix typo in documentation http://isabelle.in.tum.de/repos/haskabelle/rev/9fbdf9b8a947 noschinl Thu, 03 May 2012 11:15:23 +0200 regenerated adaptation table for 4ad2b7ccd0ff http://isabelle.in.tum.de/repos/haskabelle/rev/02b1fc3cb9d0 noschinl Sun, 29 Apr 2012 18:48:52 +0200 adapt to Isabelle 4ad2b7ccd0ff http://isabelle.in.tum.de/repos/haskabelle/rev/e390b520a44b noschinl Sun, 29 Apr 2012 18:44:40 +0200 always switch to HASKABELLE_HOME; makes lib/regression independent of working dir http://isabelle.in.tum.de/repos/haskabelle/rev/40443b62718f noschinl Fri, 21 Oct 2011 10:39:47 +0200 export HASKABELLE_HOME, lib/regression needs it http://isabelle.in.tum.de/repos/haskabelle/rev/5612898ec61c noschinl Fri, 21 Oct 2011 10:39:43 +0200