| Mon, 31 Mar 2008 23:08:54 +0200 | wenzelm | discontinued unused hooks explode_platform_path_fn, platform_path_fn, shell_path_fn; | changeset | files |
| 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 |
| Sat, 29 Mar 2008 22:56:00 +0100 | wenzelm | simplified print_simpset; | changeset | files |
| Sat, 29 Mar 2008 22:55:57 +0100 | wenzelm | purely functional setup of claset/simpset/clasimpset; | changeset | files |
| Sat, 29 Mar 2008 22:55:49 +0100 | wenzelm | purely functional setup of claset/simpset/clasimpset; | changeset | files |