haskabelle: Summary

description	Importer from Haskell to Isabelle/HOL
owner	unknown
last change	Fri, 21 Oct 2011 10:39:47 +0200

3 months ago	noschinl	2011-10-21	always switch to HASKABELLE_HOME; makes lib/regression independent of working dir default tip	changeset \| files
3 months ago	noschinl	2011-10-21	export HASKABELLE_HOME, lib/regression needs it	changeset \| files
3 months ago	noschinl	2011-10-17	accomodated for dropped "types" syntax in isabelle	changeset \| files
3 months ago	noschinl	2011-10-17	removed unneeded file from dist tarball	changeset \| files
4 months ago	noschinl	2011-10-10	fixed spelling errors	changeset \| files
4 months ago	noschinl	2011-10-04	Added tag Haskabelle2011-1 for changeset 7e03a8957766	changeset \| files
4 months ago	noschinl	2011-10-04	made regression test available to users again Haskabelle2011-1	changeset \| files
4 months ago	noschinl	2011-10-03	tuned documentation for conversion to compenent	changeset \| files
4 months ago	noschinl	2011-09-29	regenerated adaptation table for Isaballe2011-1	changeset \| files
4 months ago	noschinl	2011-09-28	refactored lib/buildbin into haskabelle tool script; use standard ISABELLE_GHC variable instead of GHC	changeset \| files
...

haskabelle