descriptionImporter from Haskell to Isabelle/HOL
ownerunknown
last changeThu, 17 Jan 2013 10:24:21 +0100
changes
4 months ago noschinl 2013-01-17 Added tag Haskabelle2013 for changeset 7350a14ed7b4 default tip
4 months ago noschinl 2013-01-14 tuned Haskabelle2013
4 months ago noschinl 2013-01-14 tuned documentation
4 months ago noschinl 2013-01-14 do not clean doc/ directory (see also 20f542593819)
4 months ago noschinl 2013-01-14 Remove old announcement documentation
4 months ago noschinl 2013-01-14 Add haskabelle documentation to ISABELLE_DOCS
4 months ago noschinl 2013-01-14 Introduce HASKABELLE_HOME_USER, specific to the Isabelle and Haskabelle versions
4 months ago noschinl 2013-01-14 Do not rebuild adaptation table during makedist (see also df75c909a195)
4 months ago noschinl 2013-01-14 Remove pregenerated Generated_Adapt.hs file
4 months ago noschinl 2013-01-14 Automatically generate default adaptation table; change location to ISABELLE_HOME_USER/Haskabelle
...
tags
4 months ago Haskabelle2013
12 months ago Haskabelle2012
19 months ago Haskabelle2011-1
2011-01-18 Haskabelle2011
2010-06-04 Haskabelle2009-2
2009-11-27 Haskabelle2009-1
2009-04-16 Haskabelle2009
...
branches
4 months ago 757bc7b8e5e3 default
2008-12-10 77500183fccd nicta
...