| Wed, 14 Oct 2009 12:03:16 +0200 | haftmann | tuned whitespace | changeset | files |
| Wed, 14 Oct 2009 11:56:44 +0200 | haftmann | dropped Code_Printer prefix where feasible; fixed whitespace issues; more coherent terminology | changeset | files |
| Tue, 13 Oct 2009 14:57:53 +0200 | haftmann | merged | changeset | files |
| Tue, 13 Oct 2009 14:08:01 +0200 | haftmann | deactivated Datatype.distinct_simproc | changeset | files |
| Tue, 13 Oct 2009 14:08:00 +0200 | haftmann | dropped Datatype.distinct_simproc; tuned | changeset | files |
| Tue, 13 Oct 2009 13:40:26 +0200 | hoelzl | order conjunctions to be printed without parentheses | changeset | files |
| Tue, 13 Oct 2009 12:02:55 +0200 | hoelzl | approximation now fails earlier when using interval splitting; value [approximate] now supports bounded variables; renamed Var -> Atom for better readability | changeset | files |
| Tue, 13 Oct 2009 09:13:24 +0200 | haftmann | merged | changeset | files |