descriptionImporter from Haskell to Isabelle/HOL
ownerunknown
last changeMon, 15 Jul 2013 10:19:45 +0200
changes
9 months ago traytel 2013-07-15 compile with ghc 7.6.1 default tip
15 months ago noschinl 2013-01-17 Added tag Haskabelle2013 for changeset 7350a14ed7b4
15 months ago noschinl 2013-01-14 tuned Haskabelle2013
15 months ago noschinl 2013-01-14 tuned documentation
15 months ago noschinl 2013-01-14 do not clean doc/ directory (see also 20f542593819)
15 months ago noschinl 2013-01-14 Remove old announcement documentation
15 months ago noschinl 2013-01-14 Add haskabelle documentation to ISABELLE_DOCS
15 months ago noschinl 2013-01-14 Introduce HASKABELLE_HOME_USER, specific to the Isabelle and Haskabelle versions
15 months ago noschinl 2013-01-14 Do not rebuild adaptation table during makedist (see also df75c909a195)
15 months ago noschinl 2013-01-14 Remove pregenerated Generated_Adapt.hs file
...
tags
15 months ago Haskabelle2013
24 months ago 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
9 months ago f56b5521bd8a default
2008-12-10 77500183fccd nicta
...