descriptionImporter from Haskell to Isabelle/HOL
ownerunknown
last changeMon, 04 Aug 2014 07:00:13 +0200
changes
2 months ago noschinl 2014-08-04 Added tag Haskabelle2014 for changeset 002b13dbdc4a default tip
2 months ago noschinl 2014-08-04 remove accidentally committed debug output Haskabelle2014
3 months ago noschinl 2014-08-01 tuned
3 months ago Lars Noschinski 2014-08-01 update documentation to refer to ghc 7.6.3
3 months ago Lars Noschinski 2014-08-01 Adapt to Isabelle2014-RC1
3 months ago Lars Noschinski 2014-08-01 use the most specialized extension
3 months ago Lars Noschinski 2014-08-01 catch only IOErrors, not arbitrary exceptions
15 months ago traytel 2013-07-15 compile with ghc 7.6.1
21 months ago noschinl 2013-01-17 Added tag Haskabelle2013 for changeset 7350a14ed7b4
21 months ago noschinl 2013-01-14 tuned Haskabelle2013
...
tags
2 months ago Haskabelle2014
21 months ago 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
2 months ago 79d67868840c default
2008-12-10 77500183fccd nicta
...