Wed, 23 Jul 2014 18:04:16 +0200 | wenzelm | another attempt at more aggressive auto-loading (amending af28fdd50690) -- hidden buffers are now suppressed; | changeset | files |
Wed, 23 Jul 2014 16:56:03 +0200 | wenzelm | more frugal edits; | changeset | files |
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 |