Mercurialhaskabelle / changelog
summary | shortlog | changelog | graph | tags | branches | files | gz
(0) -300 -100 -30 -10 tip
13 days ago noschinl [Thu, 10 May 2012 11:58:57 +0200] rev 620 default tip
Added tag Haskabelle2012 for changeset 4342c3d4fa34
.hgtags

2 weeks ago noschinl [Thu, 03 May 2012 14:32:03 +0200] rev 619 Haskabelle2012
rebuild adaptation table for Isabelle2012-RC1

2 weeks ago noschinl [Thu, 03 May 2012 14:27:33 +0200] rev 618
update tested dependencies
doc-src/Haskabelle/Thy/Haskabelle.thy

2 weeks ago noschinl [Thu, 03 May 2012 14:27:56 +0200] rev 617
make compatible to ghc 7.4.1
Importer/Adapt.hs Importer/Convert.hs Importer/DeclDependencyGraph.hs Importer/Hsx.hs Importer/Ident_Env.hs Importer/Library.hs Importer/Msg.hs Importer/Preprocess.hs

2 weeks ago noschinl [Thu, 03 May 2012 11:42:40 +0200] rev 616
merged

2 weeks ago noschinl [Thu, 03 May 2012 11:15:23 +0200] rev 615
fix typo in documentation
doc-src/Haskabelle/Thy/Haskabelle.thy

3 weeks ago noschinl [Sun, 29 Apr 2012 18:48:52 +0200] rev 614
regenerated adaptation table for 4ad2b7ccd0ff
default/Generated_Adapt.hs

3 weeks ago noschinl [Sun, 29 Apr 2012 18:44:40 +0200] rev 613
adapt to Isabelle 4ad2b7ccd0ff
default/Prelude.thy lib/mk_adapt.ML

7 months ago noschinl [Fri, 21 Oct 2011 10:39:47 +0200] rev 612
always switch to HASKABELLE_HOME; makes lib/regression independent of working dir
lib/regression

7 months ago noschinl [Fri, 21 Oct 2011 10:39:43 +0200] rev 611
export HASKABELLE_HOME, lib/regression needs it
admin/makedist lib/regression

(0) -300 -100 -30 -10 tip
haskabelle