Mon, 04 Aug 2014 10:47:26 +0200 | wenzelm | more user aliases; | changeset | files |
Mon, 04 Aug 2014 07:31:27 +0200 | noschinl | registered Haskabelle-2014 | changeset | files |
Fri, 01 Aug 2014 13:59:34 +0200 | Lars Noschinski | tuned, so codegen runs with current isabelle again | changeset | files |