| Wed, 20 Jul 2016 20:24:21 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 20 Jul 2016 16:18:10 +0200 | wenzelm | oops; | changeset | files |
| Wed, 20 Jul 2016 16:02:00 +0200 | wenzelm | completion templates for commands involving "begin ... end" blocks; | changeset | files |
| Wed, 20 Jul 2016 11:44:11 +0200 | wenzelm | moved method "use" to Pure; | changeset | files |
| Wed, 20 Jul 2016 11:11:07 +0200 | wenzelm | unused (see also 651ea265d568); | changeset | files |
| Wed, 20 Jul 2016 14:52:09 +0200 | fleury | more instantiations for multiset | changeset | files |
| Wed, 20 Jul 2016 13:51:38 +0200 | fleury | adding mset_map to the simp rules | changeset | files |