| Thu, 18 Jul 2013 22:32:00 +0200 | wenzelm | tuned messages -- avoid text folds stemming from Pretty.chunks; | changeset | files |
| Thu, 18 Jul 2013 22:18:20 +0200 | wenzelm | proper system options for 'find_theorems'; | changeset | files |
| Thu, 18 Jul 2013 22:00:35 +0200 | wenzelm | guard unify tracing via visible status of global theory; | changeset | files |
| Thu, 18 Jul 2013 21:57:27 +0200 | wenzelm | provide global operations as well; | changeset | files |
| Thu, 18 Jul 2013 21:20:09 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 18 Jul 2013 21:06:21 +0200 | wenzelm | tuned; | changeset | files |