| Mon, 10 Apr 2006 00:33:52 +0200 | wenzelm | removed unused class_le_path, sort_less; | changeset | files |
| Mon, 10 Apr 2006 00:33:51 +0200 | wenzelm | add_axclass(_i): return class name only; | changeset | files |
| Mon, 10 Apr 2006 00:33:49 +0200 | wenzelm | Term.itselfT; | changeset | files |
| Sun, 09 Apr 2006 19:41:30 +0200 | nipkow | Added function "splice" | changeset | files |