| Mon, 09 Jun 2014 12:15:53 +0200 | wenzelm | more on dockable windows; | changeset | files |
| 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 |
| Tue, 24 Jun 2014 15:49:20 +0200 | blanchet | tuning | changeset | files |
| Tue, 24 Jun 2014 15:08:19 +0200 | blanchet | optimized traversal of proof terms by skipping bad apples (e.g. full_exhaustive_int'.pinduct) | changeset | files |
| Tue, 24 Jun 2014 14:56:08 +0200 | blanchet | minor table access optimization | changeset | files |