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 |