Mon, 31 Mar 2008 23:08:55 +0200 before close: Exn.capture/release;
wenzelm [Mon, 31 Mar 2008 23:08:55 +0200] rev 26504
before close: Exn.capture/release;
Mon, 31 Mar 2008 23:08:54 +0200 discontinued unused hooks explode_platform_path_fn, platform_path_fn, shell_path_fn;
wenzelm [Mon, 31 Mar 2008 23:08:54 +0200] rev 26503
discontinued unused hooks explode_platform_path_fn, platform_path_fn, shell_path_fn; norm_absolute: non-critical (not thread-safe!); added open_input, open_output, open_append combinators; tuned;
Mon, 31 Mar 2008 23:08:53 +0200 added add_substring;
wenzelm [Mon, 31 Mar 2008 23:08:53 +0200] rev 26502
added add_substring; output: operate directly on stream; tuned;
Mon, 31 Mar 2008 23:08:51 +0200 discontinued File.explode_platform_path -- use plain Path.explode;
wenzelm [Mon, 31 Mar 2008 23:08:51 +0200] rev 26501
discontinued File.explode_platform_path -- use plain Path.explode;
Sun, 30 Mar 2008 23:17:55 +0200 *** empty log message ***
nipkow [Sun, 30 Mar 2008 23:17:55 +0200] rev 26500
*** empty log message ***
Sat, 29 Mar 2008 22:56:01 +0100 functional theory setup -- requires linear access;
wenzelm [Sat, 29 Mar 2008 22:56:01 +0100] rev 26499
functional theory setup -- requires linear access;
Sat, 29 Mar 2008 22:56:00 +0100 simplified print_simpset;
wenzelm [Sat, 29 Mar 2008 22:56:00 +0100] rev 26498
simplified print_simpset;
Sat, 29 Mar 2008 22:55:57 +0100 purely functional setup of claset/simpset/clasimpset;
wenzelm [Sat, 29 Mar 2008 22:55:57 +0100] rev 26497
purely functional setup of claset/simpset/clasimpset; tuned signature;
Sat, 29 Mar 2008 22:55:49 +0100 purely functional setup of claset/simpset/clasimpset;
wenzelm [Sat, 29 Mar 2008 22:55:49 +0100] rev 26496
purely functional setup of claset/simpset/clasimpset;
Sat, 29 Mar 2008 19:24:57 +0100 fixed spelling;
wenzelm [Sat, 29 Mar 2008 19:24:57 +0100] rev 26495
fixed spelling;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip