| Mon, 31 Mar 2008 23:08:53 +0200 | wenzelm | added add_substring; | changeset | files |
| Mon, 31 Mar 2008 23:08:51 +0200 | wenzelm | discontinued File.explode_platform_path -- use plain Path.explode; | changeset | files |
| Sun, 30 Mar 2008 23:17:55 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sat, 29 Mar 2008 22:56:01 +0100 | wenzelm | functional theory setup -- requires linear access; | changeset | files |