| Sun, 18 Oct 2015 17:24:24 +0200 | wenzelm | support control symbol antiquotations; | changeset | files |
| Sun, 18 Oct 2015 17:20:20 +0200 | wenzelm | clarified Symbol.is_control; | changeset | files |
| Sun, 18 Oct 2015 17:25:13 +0200 | nipkow | added 2-3 trees (simpler and more complete than the version in ex/Tree23) | changeset | files |