| Thu, 21 Jul 2016 10:06:04 +0200 | eberlm | Overhaul of prime/multiplicity/prime_factors | changeset | files |
| Thu, 21 Jul 2016 10:52:27 +0200 | wenzelm | merged | changeset | files |
| Wed, 20 Jul 2016 22:36:10 +0200 | wenzelm | provide Pure.simp/simp_all, which only know about meta-equality; | changeset | files |
| Wed, 20 Jul 2016 21:26:11 +0200 | wenzelm | clarified imports; | changeset | files |
| 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 |