| Sun, 18 Sep 2016 11:31:18 +0200 | fleury | tuning multiset simproc | changeset | files |
| Sat, 17 Sep 2016 11:41:13 +0200 | Lars Hupel | repair LaTeX dropout from f83ef97d8d7d | changeset | files |
| Fri, 16 Sep 2016 12:30:55 +0200 | haftmann | prefer abbreviation for trivial set conversion | changeset | files |
| Fri, 16 Sep 2016 12:30:55 +0200 | haftmann | more lemmas | changeset | files |
| Fri, 16 Sep 2016 21:40:47 +0200 | wenzelm | merged | changeset | files |
| Fri, 16 Sep 2016 21:35:19 +0200 | wenzelm | more symbols -- as in the printed document; | changeset | files |
| Fri, 16 Sep 2016 21:28:09 +0200 | wenzelm | more symbols; | changeset | files |
| Fri, 16 Sep 2016 18:44:18 +0200 | Lars Hupel | tuned proofs | changeset | files |
| Fri, 16 Sep 2016 18:09:13 +0200 | wenzelm | misc updates; | changeset | files |
| Fri, 16 Sep 2016 18:01:31 +0200 | wenzelm | merged | changeset | files |
| Fri, 16 Sep 2016 17:12:39 +0200 | wenzelm | consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts; | changeset | files |
| Fri, 16 Sep 2016 17:37:41 +0200 | immler | merged | changeset | files |
| Thu, 15 Sep 2016 16:07:20 +0200 | immler | Liminf/Limsup and filtermap | changeset | files |
| Fri, 16 Sep 2016 16:49:13 +0200 | Lars Hupel | benchmark doesn't need to build documents | changeset | files |