| description | Importer from Haskell to Isabelle/HOL |
| owner | unknown |
| last change | Thu, 10 May 2012 11:58:57 +0200 |
| 13 days ago | noschinl | 2012-05-10 | Added tag Haskabelle2012 for changeset 4342c3d4fa34 | changeset | files |
| 2 weeks ago | noschinl | 2012-05-03 | rebuild adaptation table for Isabelle2012-RC1 | changeset | files |
| 2 weeks ago | noschinl | 2012-05-03 | update tested dependencies | changeset | files |
| 2 weeks ago | noschinl | 2012-05-03 | make compatible to ghc 7.4.1 | changeset | files |
| 2 weeks ago | noschinl | 2012-05-03 | merged | changeset | files |
| 2 weeks ago | noschinl | 2012-05-03 | fix typo in documentation | changeset | files |
| 3 weeks ago | noschinl | 2012-04-29 | regenerated adaptation table for 4ad2b7ccd0ff | changeset | files |
| 3 weeks ago | noschinl | 2012-04-29 | adapt to Isabelle 4ad2b7ccd0ff | changeset | files |
| 7 months ago | noschinl | 2011-10-21 | always switch to HASKABELLE_HOME; makes lib/regression independent of working dir | changeset | files |
| 7 months ago | noschinl | 2011-10-21 | export HASKABELLE_HOME, lib/regression needs it | changeset | files |
| ... | ||||
| 2 weeks ago | Haskabelle2012 | changeset | changelog | files |
| 7 months ago | Haskabelle2011-1 | changeset | changelog | files |
| 16 months ago | Haskabelle2011 | changeset | changelog | files |
| 23 months ago | Haskabelle2009-2 | changeset | changelog | files |
| 2009-11-27 | Haskabelle2009-1 | changeset | changelog | files |
| 2009-04-16 | Haskabelle2009 | changeset | changelog | files |
| ... | ||
| 13 days ago | 54fea323af8d | default | changeset | changelog | files |
| 2008-12-10 | 77500183fccd | nicta | changeset | changelog | files |
| ... | |||