Mercurialhaskabelle / summary
summary | shortlog | changelog | graph | tags | branches | files | gz
 
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 changeset | files
4 months ago noschinl 2013-01-14 tuned Haskabelle2013 changeset | files
4 months ago noschinl 2013-01-14 tuned documentation changeset | files
4 months ago noschinl 2013-01-14 do not clean doc/ directory (see also 20f542593819) changeset | files
4 months ago noschinl 2013-01-14 Remove old announcement documentation changeset | files
4 months ago noschinl 2013-01-14 Add haskabelle documentation to ISABELLE_DOCS changeset | files
4 months ago noschinl 2013-01-14 Introduce HASKABELLE_HOME_USER, specific to the Isabelle and Haskabelle versions changeset | files
4 months ago noschinl 2013-01-14 Do not rebuild adaptation table during makedist (see also df75c909a195) changeset | files
4 months ago noschinl 2013-01-14 Remove pregenerated Generated_Adapt.hs file changeset | files
4 months ago noschinl 2013-01-14 Automatically generate default adaptation table; change location to ISABELLE_HOME_USER/Haskabelle changeset | files
...
tags
4 months ago Haskabelle2013 changeset | changelog | files
12 months ago Haskabelle2012 changeset | changelog | files
19 months ago Haskabelle2011-1 changeset | changelog | files
2011-01-18 Haskabelle2011 changeset | changelog | files
2010-06-04 Haskabelle2009-2 changeset | changelog | files
2009-11-27 Haskabelle2009-1 changeset | changelog | files
2009-04-16 Haskabelle2009 changeset | changelog | files
...
branches
4 months ago 757bc7b8e5e3 default changeset | changelog | files
2008-12-10 77500183fccd nicta changeset | changelog | files
...
haskabelle