Mercurialhaskabelle / shortlog
summary | shortlog | changelog | graph | tags | branches | files | gz
(0) -300 -100 -60 tip
 
13 days ago noschinl 2012-05-10 Added tag Haskabelle2012 for changeset 4342c3d4fa34 default tip changeset | files
2 weeks ago noschinl 2012-05-03 rebuild adaptation table for Isabelle2012-RC1 Haskabelle2012 changeset | files
2 weeks ago noschinl 2012-05-03 update tested dependencies changeset | files
2 weeks ago noschinl 2012-05-03 make compatible to ghc 7.4.1 changeset | files
2 weeks ago noschinl 2012-05-03 merged changeset | files
2 weeks ago noschinl 2012-05-03 fix typo in documentation changeset | files
3 weeks ago noschinl 2012-04-29 regenerated adaptation table for 4ad2b7ccd0ff changeset | files
3 weeks ago noschinl 2012-04-29 adapt to Isabelle 4ad2b7ccd0ff changeset | files
7 months ago noschinl 2011-10-21 always switch to HASKABELLE_HOME; makes lib/regression independent of working dir changeset | files
7 months ago noschinl 2011-10-21 export HASKABELLE_HOME, lib/regression needs it changeset | files
7 months ago noschinl 2011-10-17 accomodated for dropped "types" syntax in isabelle changeset | files
7 months ago noschinl 2011-10-17 removed unneeded file from dist tarball changeset | files
7 months ago noschinl 2011-10-10 fixed spelling errors changeset | files
7 months ago noschinl 2011-10-04 Added tag Haskabelle2011-1 for changeset 7e03a8957766 changeset | files
7 months ago noschinl 2011-10-04 made regression test available to users again Haskabelle2011-1 changeset | files
7 months ago noschinl 2011-10-03 tuned documentation for conversion to compenent changeset | files
7 months ago noschinl 2011-09-29 regenerated adaptation table for Isaballe2011-1 changeset | files
7 months ago noschinl 2011-09-28 refactored lib/buildbin into haskabelle tool script; use standard ISABELLE_GHC variable instead of GHC changeset | files
7 months ago noschinl 2011-09-28 exported HASKABELLE_HOME, as admin/haskabelle cannot expect that Haskabelle is registered as a component changeset | files
7 months ago noschinl 2011-09-27 fix regression test changeset | files
8 months ago noschinl 2011-09-20 fix regression test; move regression test to admin/ changeset | files
8 months ago noschinl 2011-09-20 removed duplicate way of setting adaption dir changeset | files
8 months ago noschinl 2011-09-20 moved internal tools to lib, users should use the component wrapper changeset | files
8 months ago noschinl 2011-09-20 component wrapper rebuilds haskabelle whenever possible changeset | files
8 months ago noschinl 2011-09-20 replace bin/haskabelle by an admin-only wrapper around lib/Tools/haskabelle changeset | files
8 months ago noschinl 2011-09-20 use "isabelle env" instead of isabelle, isabelle-process wrapper scripts changeset | files
8 months ago noschinl 2011-09-20 gave more telling name to admin/run_regression changeset | files
8 months ago noschinl 2011-09-20 tuned error message changeset | files
8 months ago noschinl 2011-09-20 turn Haskabelle into an Isabelle component changeset | files
8 months ago noschinl 2011-09-19 tuned spacing changeset | files
8 months ago noschinl 2011-09-16 remove obsolete cabal file changeset | files
9 months ago noschinl 2011-08-11 replace removed ML_Context.eval_file by equivalent code changeset | files
9 months ago noschinl 2011-08-10 remove use of deprecated -fglasgow-exts changeset | files
9 months ago noschinl 2011-08-10 remove unnecessary type constraints. fixes non-terminating compilation on ghc 7.0.4 changeset | files
9 months ago noschinl 2011-08-10 depend explicitly on haskell-src-exts-0.4.8 changeset | files
12 months ago noschinl 2011-05-06 adapt to changes in Isabelle documentation build changeset | files
13 months ago noschinl 2011-04-18 make Haskabelle compile again with current Isabelle changeset | files
16 months ago noschinl 2011-01-18 Added tag Haskabelle2011 for changeset 67d7bfbfc94c changeset | files
16 months ago noschinl 2011-01-18 Regenerate adaptation table Haskabelle2011 changeset | files
16 months ago haftmann 2011-01-17 tuned changeset | files
16 months ago haftmann 2011-01-17 dropped glob changeset | files
16 months ago haftmann 2011-01-14 adjusted mira configuration changeset | files
16 months ago haftmann 2011-01-14 configuration file for mira changeset | files
17 months ago haftmann 2010-12-06 replaced Florian by Lars; dropped superfluous setting changeset | files
17 months ago haftmann 2010-12-06 merged changeset | files
17 months ago haftmann 2010-12-06 eliminated reference to old Haskabelle repository location changeset | files
18 months ago haftmann 2010-11-26 globbing constant expressions use more idiomatic underscore rather than star changeset | files
18 months ago haftmann 2010-11-15 adjusted changeset | files
18 months ago haftmann 2010-11-15 updated generated file changeset | files
18 months ago haftmann 2010-11-15 be less exclamative changeset | files
18 months ago haftmann 2010-11-12 more uniform messages changeset | files
19 months ago haftmann 2010-10-25 updated generated file changeset | files
19 months ago haftmann 2010-10-07 updated generated file changeset | files
20 months ago haftmann 2010-09-27 avoid multiple tags changeset | files
20 months ago haftmann 2010-09-27 modernized and tuned adaptation building changeset | files
20 months ago haftmann 2010-09-27 updated generated file changeset | files
20 months ago haftmann 2010-09-27 modernized documentation changeset | files
20 months ago haftmann 2010-09-21 dropped isatypewriter changeset | files
20 months ago haftmann 2010-09-02 added null abbrev changeset | files
20 months ago haftmann 2010-09-02 adjusted to renamed * -> prod changeset | files
(0) -300 -100 -60 tip
haskabelle