| Mon, 09 Jun 2014 11:05:43 +0200 | wenzelm | clarified section structure; | changeset | files |
| Fri, 06 Jun 2014 21:42:50 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 06 Jun 2014 21:35:23 +0200 | wenzelm | more on Query panel; | changeset | files |
| Fri, 06 Jun 2014 12:10:33 +0200 | wenzelm | updated screenshots; | changeset | files |
| Thu, 05 Jun 2014 10:54:00 +0200 | wenzelm | more on Query panel -- updated Find Theorems; | changeset | files |
| Wed, 04 Jun 2014 18:18:09 +0200 | wenzelm | misc tuning and updates; | changeset | files |
| Wed, 25 Jun 2014 07:49:21 +0200 | Andreas Lochbihler | merged | changeset | files |
| Tue, 24 Jun 2014 15:05:58 +0200 | Andreas Lochbihler | add lemma | changeset | files |