src/Pure/General/file.ML
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-10-04 ago renamed isatool to isabelle_tool in programming interfaces;
2008-08-28 ago tuned fold_lines;
2008-08-28 ago fold_lines: simplified, more efficient due to String.fields;
2008-08-27 ago renamed Buffer.write to File.write_buffer;
2008-05-24 ago ident: naive caching prevents potentially slow external invocations;
2008-05-18 ago removed norm_absolute (not thread safe; chdir does not guarantee normalization anyway);
2008-04-15 ago Library.is_equal;
2008-03-31 ago discontinued unused hooks explode_platform_path_fn, platform_path_fn, shell_path_fn;
2008-03-06 ago common setup for system_out/system;
2007-08-28 ago norm_absolute: CRITICAL;
2007-08-20 ago File.read/write/append: non-critical (basic IO operations already thread-safe);
2007-07-29 ago NAMED_CRITICAL;
2007-07-23 ago marked some CRITICAL sections (for multithreading);
2007-07-19 ago added rep_ident;
2007-07-19 ago replaced info by ident (for full identification, potentially content-based);
2007-07-17 ago moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice);
2007-01-21 ago moved File.use to ML_Context.use;
2006-12-30 ago removed conditional combinator;
2006-12-15 ago avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-06-29 ago use -f in cp to overwrite read-only files (e.g. .svn in document/)
2006-04-26 ago tuned;
2006-01-19 ago use: Output.ML_errors;
2006-01-14 ago sane ERROR handling;
2005-10-11 ago added assert;
2005-07-06 ago added write_list, append_list;
2005-06-29 ago added eq;
2005-06-06 ago copy_dir: be permissive wrt. errors;
2005-06-05 ago removed sysify_path, quote_sysity_path etc.;
2005-05-18 ago tuned;
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-08-23 ago Added function for "normalizing" absolute paths (i.e. dereferencing of
2004-06-21 ago Merged in license change from Isabelle2004
2002-02-15 ago moved copy_all to Thy/present.ML;
2001-11-09 ago got rid of obsolete input filtering;
2000-09-01 ago export quote_sysify_path;
2000-06-07 ago Exported system_command.
2000-05-05 ago GPLed;
2000-01-28 ago cp -r;
1999-10-13 ago mkdir, copy_all: system_command;
1999-10-05 ago added copy_all;
1999-07-30 ago export sysify_path;
1999-05-12 ago rearranged order of modules;
1999-03-09 ago added mkdir;
1999-02-04 ago fail_safe close;
1999-02-03 ago added join_info;
1999-02-03 ago use Path.T;
1999-01-13 ago fixed titles;
1998-06-10 ago moved Thy/file.ML to General/file.ML;