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 |
Sat, 17 Oct 2015 16:08:30 +0200 | haftmann | code abbreviation for mapping over a fixed range | changeset | files |
Sat, 17 Oct 2015 23:07:28 +0200 | wenzelm | back to lxbroy3, which appears to be free at the moment; | changeset | files |
Sat, 17 Oct 2015 22:31:21 +0200 | wenzelm | tuned signature; | changeset | files |
Sat, 17 Oct 2015 21:42:18 +0200 | wenzelm | merged | changeset | files |