descriptionImporter from Haskell to Isabelle/HOL
ownerunknown
last changeFri, 21 Oct 2011 10:39:47 +0200
changes
3 months ago noschinl 2011-10-21 always switch to HASKABELLE_HOME; makes lib/regression independent of working dir default tip
3 months ago noschinl 2011-10-21 export HASKABELLE_HOME, lib/regression needs it
3 months ago noschinl 2011-10-17 accomodated for dropped "types" syntax in isabelle
3 months ago noschinl 2011-10-17 removed unneeded file from dist tarball
4 months ago noschinl 2011-10-10 fixed spelling errors
4 months ago noschinl 2011-10-04 Added tag Haskabelle2011-1 for changeset 7e03a8957766
4 months ago noschinl 2011-10-04 made regression test available to users again Haskabelle2011-1
4 months ago noschinl 2011-10-03 tuned documentation for conversion to compenent
4 months ago noschinl 2011-09-29 regenerated adaptation table for Isaballe2011-1
4 months ago noschinl 2011-09-28 refactored lib/buildbin into haskabelle tool script; use standard ISABELLE_GHC variable instead of GHC
...
tags
4 months ago Haskabelle2011-1
13 months ago Haskabelle2011
20 months ago Haskabelle2009-2
2009-11-27 Haskabelle2009-1
2009-04-16 Haskabelle2009
...
branches
3 months ago 40443b62718f default
2008-12-10 77500183fccd nicta
...