Mon, 08 Jun 2009 08:38:53 +0200 | haftmann | added infrastructure for definitorial construction of generators for datatypes | changeset | files |
Mon, 08 Jun 2009 08:38:52 +0200 | haftmann | constant "chars" of all characters | changeset | files |
Mon, 08 Jun 2009 08:38:51 +0200 | haftmann | added generator for char and trivial generator for String.literal | changeset | files |