Mon, 20 Dec 2010 12:12:35 +0100 | blanchet | optionally supply constant weights to E -- turned off by default until properly parameterized | changeset | files |
Mon, 20 Dec 2010 17:31:58 +0100 | haftmann | merged | changeset | files |
Mon, 20 Dec 2010 15:37:25 +0100 | haftmann | type_lifting for predicates | changeset | files |
Mon, 20 Dec 2010 16:44:33 +0100 | wenzelm | proper identifiers for consts and types; | changeset | files |
Mon, 20 Dec 2010 15:24:25 +0100 | wenzelm | some attempts to fit diagnostic output into regular TTY (75-80 characters per line); | changeset | files |
Mon, 20 Dec 2010 15:19:15 +0100 | wenzelm | tuned/clarified some component settings; | changeset | files |