descriptionImporter from Haskell to Isabelle/HOL
ownerunknown
last changeMon, 18 May 2015 17:05:22 +0200
changes
3 months ago noschinl 2015-05-18 tuned default tip
3 months ago noschinl 2015-05-18 Added tag Haskabelle2015 for changeset 01a58283004c
3 months ago noschinl 2015-05-18 Adapt to Isabelle2015-RC4 Haskabelle2015
13 months ago noschinl 2014-08-04 Added tag Haskabelle2014 for changeset 002b13dbdc4a
13 months ago noschinl 2014-08-04 remove accidentally committed debug output Haskabelle2014
13 months ago noschinl 2014-08-01 tuned
13 months ago Lars Noschinski 2014-08-01 update documentation to refer to ghc 7.6.3
13 months ago Lars Noschinski 2014-08-01 Adapt to Isabelle2014-RC1
13 months ago Lars Noschinski 2014-08-01 use the most specialized extension
13 months ago Lars Noschinski 2014-08-01 catch only IOErrors, not arbitrary exceptions
...
tags
3 months ago Haskabelle2015
13 months ago Haskabelle2014
2013-01-14 Haskabelle2013
2012-05-03 Haskabelle2012
2011-10-04 Haskabelle2011-1
2011-01-18 Haskabelle2011
2010-06-04 Haskabelle2009-2
2009-11-27 Haskabelle2009-1
2009-04-16 Haskabelle2009
...
branches
3 months ago b885ee4618d8 default
2008-12-10 77500183fccd nicta
...