| Thu, 28 Aug 2008 20:29:40 +0200 |
wenzelm |
tuned fold_lines;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 20:19:45 +0200 |
wenzelm |
fold_lines: simplified, more efficient due to String.fields;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 20:36:27 +0200 |
wenzelm |
renamed Buffer.write to File.write_buffer;
|
file |
diff |
annotate
|
| Sat, 24 May 2008 14:47:43 +0200 |
wenzelm |
ident: naive caching prevents potentially slow external invocations;
|
file |
diff |
annotate
|
| Sun, 18 May 2008 15:04:33 +0200 |
wenzelm |
removed norm_absolute (not thread safe; chdir does not guarantee normalization anyway);
|
file |
diff |
annotate
|
| Tue, 15 Apr 2008 16:12:15 +0200 |
wenzelm |
Library.is_equal;
|
file |
diff |
annotate
|
| Mon, 31 Mar 2008 23:08:54 +0200 |
wenzelm |
discontinued unused hooks explode_platform_path_fn, platform_path_fn, shell_path_fn;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 20:17:50 +0100 |
wenzelm |
common setup for system_out/system;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2007 11:25:31 +0200 |
wenzelm |
norm_absolute: CRITICAL;
|
file |
diff |
annotate
|
| Mon, 20 Aug 2007 20:44:00 +0200 |
wenzelm |
File.read/write/append: non-critical (basic IO operations already thread-safe);
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 17:28:55 +0200 |
wenzelm |
NAMED_CRITICAL;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 14:06:12 +0200 |
wenzelm |
marked some CRITICAL sections (for multithreading);
|
file |
diff |
annotate
|
| Thu, 19 Jul 2007 23:49:02 +0200 |
wenzelm |
added rep_ident;
|
file |
diff |
annotate
|
| Thu, 19 Jul 2007 23:18:45 +0200 |
wenzelm |
replaced info by ident (for full identification, potentially content-based);
|
file |
diff |
annotate
|
| Tue, 17 Jul 2007 13:19:21 +0200 |
wenzelm |
moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice);
|
file |
diff |
annotate
|
| Sun, 21 Jan 2007 16:43:44 +0100 |
wenzelm |
moved File.use to ML_Context.use;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2006 16:08:00 +0100 |
wenzelm |
removed conditional combinator;
|
file |
diff |
annotate
|
| Fri, 15 Dec 2006 00:08:06 +0100 |
wenzelm |
avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
|
file |
diff |
annotate
|
| Thu, 29 Jun 2006 01:08:08 +0200 |
kleing |
use -f in cp to overwrite read-only files (e.g. .svn in document/)
|
file |
diff |
annotate
|
| Wed, 26 Apr 2006 22:38:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2006 21:22:20 +0100 |
wenzelm |
use: Output.ML_errors;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2006 17:14:06 +0100 |
wenzelm |
sane ERROR handling;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2005 14:02:32 +0200 |
wenzelm |
added assert;
|
file |
diff |
annotate
|
| Wed, 06 Jul 2005 10:41:47 +0200 |
wenzelm |
added write_list, append_list;
|
file |
diff |
annotate
|
| Wed, 29 Jun 2005 15:13:33 +0200 |
wenzelm |
added eq;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2005 18:58:34 +0200 |
wenzelm |
copy_dir: be permissive wrt. errors;
|
file |
diff |
annotate
|
| Sun, 05 Jun 2005 11:31:24 +0200 |
wenzelm |
removed sysify_path, quote_sysity_path etc.;
|
file |
diff |
annotate
|
| Wed, 18 May 2005 11:30:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Mon, 23 Aug 2004 17:06:18 +0200 |
berghofe |
Added function for "normalizing" absolute paths (i.e. dereferencing of
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Fri, 15 Feb 2002 20:42:00 +0100 |
wenzelm |
moved copy_all to Thy/present.ML;
|
file |
diff |
annotate
|
| Fri, 09 Nov 2001 00:14:17 +0100 |
wenzelm |
got rid of obsolete input filtering;
|
file |
diff |
annotate
|
| Fri, 01 Sep 2000 17:44:44 +0200 |
wenzelm |
export quote_sysify_path;
|
file |
diff |
annotate
|
| Wed, 07 Jun 2000 12:15:26 +0200 |
berghofe |
Exported system_command.
|
file |
diff |
annotate
|
| Fri, 05 May 2000 22:02:46 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Fri, 28 Jan 2000 21:55:23 +0100 |
wenzelm |
cp -r;
|
file |
diff |
annotate
|
| Wed, 13 Oct 1999 19:40:03 +0200 |
wenzelm |
mkdir, copy_all: system_command;
|
file |
diff |
annotate
|
| Tue, 05 Oct 1999 15:29:36 +0200 |
wenzelm |
added copy_all;
|
file |
diff |
annotate
|
| Fri, 30 Jul 1999 13:34:27 +0200 |
wenzelm |
export sysify_path;
|
file |
diff |
annotate
|
| Wed, 12 May 1999 16:52:28 +0200 |
wenzelm |
rearranged order of modules;
|
file |
diff |
annotate
|
| Tue, 09 Mar 1999 12:09:22 +0100 |
wenzelm |
added mkdir;
|
file |
diff |
annotate
|
| Thu, 04 Feb 1999 18:14:27 +0100 |
wenzelm |
fail_safe close;
|
file |
diff |
annotate
|
| Wed, 03 Feb 1999 20:25:01 +0100 |
wenzelm |
added join_info;
|
file |
diff |
annotate
|
| Wed, 03 Feb 1999 16:32:32 +0100 |
wenzelm |
use Path.T;
|
file |
diff |
annotate
|
| Wed, 13 Jan 1999 15:18:02 +0100 |
wenzelm |
fixed titles;
|
file |
diff |
annotate
|
| Wed, 10 Jun 1998 11:50:20 +0200 |
wenzelm |
moved Thy/file.ML to General/file.ML;
|
file |
diff |
annotate
|