| Wed, 09 Sep 2015 21:51:44 +0200 | wenzelm | merged | changeset | files |
| Wed, 09 Sep 2015 20:57:21 +0200 | wenzelm | simplified simproc programming interfaces; | changeset | files |
| Wed, 09 Sep 2015 14:47:41 +0200 | wenzelm | eliminated \<Colon> from syntax of constraints; | changeset | files |
| Wed, 09 Sep 2015 11:24:34 +0200 | wenzelm | eliminated \<Colon> -- from dead code! | changeset | files |
| Wed, 09 Sep 2015 17:07:51 +0200 | Andreas Lochbihler | merged | changeset | files |
| Wed, 09 Sep 2015 17:07:44 +0200 | Andreas Lochbihler | reactivate examples with predicate compiler and quickcheck | changeset | files |
| Tue, 08 Sep 2015 21:57:18 +0200 | wenzelm | disable jedit_auto_resolve (again) -- too confusing; | changeset | files |