| Thu, 12 May 2016 10:31:25 +0200 | Lars Hupel | expose Sessions.Info in Build.Results | changeset | files |
| Wed, 11 May 2016 16:13:17 +0200 | immler | introduced class topological_group between topological_monoid and real_normed_vector | changeset | files |
| Tue, 10 May 2016 22:25:06 +0200 | wenzelm | find dynamic facts as well, but static ones are preferred; | changeset | files |