| Wed, 23 Jul 2014 16:20:07 +0200 | wenzelm | more explicit treatment of cleared nodes (removal is implicit); | changeset | files |
| Wed, 23 Jul 2014 15:32:05 +0200 | wenzelm | clarified display; | changeset | files |
| Wed, 23 Jul 2014 15:11:42 +0200 | wenzelm | more workarounds for scalac; | changeset | files |
| Wed, 23 Jul 2014 15:00:46 +0200 | wenzelm | clarified display; | changeset | files |
| Wed, 23 Jul 2014 14:50:20 +0200 | wenzelm | avoid redundant data structure; | changeset | files |
| Wed, 23 Jul 2014 13:01:30 +0200 | wenzelm | more explicit discrimination of empty nodes -- suppress from Theories panel; | changeset | files |
| Wed, 23 Jul 2014 11:53:34 +0200 | wenzelm | tuned; | changeset | files |