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