src/Pure/General/file.ML
Mon, 23 Jul 2012 15:44:42 +0200 wenzelm removed redundant check (cf. a8ed41b6280b);
Sun, 11 Sep 2011 17:30:01 +0200 wenzelm more orthogonal signature;
Sat, 16 Jul 2011 18:41:35 +0200 wenzelm some file and directory operations;
Sat, 16 Jul 2011 17:11:49 +0200 wenzelm added File.fold_pages for streaming of large files;
Fri, 01 Jul 2011 13:54:25 +0200 noschinl reverted 782991e4180d: fold_fields was never used
Wed, 13 Apr 2011 20:43:00 +0200 noschinl Generalized File.fold_lines to File.fold_fields
Sun, 20 Mar 2011 17:40:45 +0100 wenzelm replaced File.check by specific File.check_file, File.check_dir;
Sun, 13 Mar 2011 16:01:00 +0100 wenzelm Path.print is the official way to show file-system paths to users -- note that Path.implode often indicates violation of the abstract datatype;
Sun, 28 Nov 2010 16:35:56 +0100 wenzelm more permissive Isabelle_System.mkdir;
Sat, 27 Nov 2010 15:58:36 +0100 wenzelm explicit check for requirement;
Sat, 27 Nov 2010 15:36:35 +0100 wenzelm tuned;
Sat, 27 Nov 2010 15:28:00 +0100 wenzelm more explicit Isabelle_System operations;
Sat, 27 Nov 2010 14:19:04 +0100 wenzelm moved file identification to thy_load.ML (where it is actually used);
Thu, 08 Jul 2010 09:36:22 +0200 haftmann rm_tree: remove entire file system trees
Thu, 01 Jul 2010 13:38:17 +0200 haftmann refined semantics of mkdir_leaf: do not fail if directory already exists
Wed, 30 Jun 2010 12:20:45 +0200 haftmann mkdir_leaf -- avoiding surprises with typos in user-given paths
Sat, 06 Feb 2010 14:50:55 +0100 wenzelm renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
Tue, 27 Oct 2009 13:16:16 +0100 wenzelm non-critical atomic accesses;
Thu, 15 Oct 2009 15:45:50 +0200 wenzelm exported File.shell_quote;
Tue, 29 Sep 2009 11:49:22 +0200 wenzelm explicit indication of Unsynchronized.ref;
Sat, 27 Jun 2009 17:34:48 +0200 wenzelm builtin isabelle_tool for ML and Scala -- avoids excessive shell script (especially important for Cygwin);
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Mon, 06 Oct 2008 22:41:21 +0200 wenzelm fold_lines: more tuning, avoiding extra split_last;
Sat, 04 Oct 2008 16:05:09 +0200 wenzelm replaced ISATOOL by ISABELLE_TOOL;
Sat, 04 Oct 2008 14:29:43 +0200 wenzelm renamed isatool to isabelle_tool in programming interfaces;
Thu, 28 Aug 2008 20:29:40 +0200 wenzelm tuned fold_lines;
Thu, 28 Aug 2008 20:19:45 +0200 wenzelm fold_lines: simplified, more efficient due to String.fields;
Wed, 27 Aug 2008 20:36:27 +0200 wenzelm renamed Buffer.write to File.write_buffer;
Sat, 24 May 2008 14:47:43 +0200 wenzelm ident: naive caching prevents potentially slow external invocations;
Sun, 18 May 2008 15:04:33 +0200 wenzelm removed norm_absolute (not thread safe; chdir does not guarantee normalization anyway);
Tue, 15 Apr 2008 16:12:15 +0200 wenzelm Library.is_equal;
Mon, 31 Mar 2008 23:08:54 +0200 wenzelm discontinued unused hooks explode_platform_path_fn, platform_path_fn, shell_path_fn;
Thu, 06 Mar 2008 20:17:50 +0100 wenzelm common setup for system_out/system;
Tue, 28 Aug 2007 11:25:31 +0200 wenzelm norm_absolute: CRITICAL;
Mon, 20 Aug 2007 20:44:00 +0200 wenzelm File.read/write/append: non-critical (basic IO operations already thread-safe);
Sun, 29 Jul 2007 17:28:55 +0200 wenzelm NAMED_CRITICAL;
Mon, 23 Jul 2007 14:06:12 +0200 wenzelm marked some CRITICAL sections (for multithreading);
Thu, 19 Jul 2007 23:49:02 +0200 wenzelm added rep_ident;
Thu, 19 Jul 2007 23:18:45 +0200 wenzelm replaced info by ident (for full identification, potentially content-based);
Tue, 17 Jul 2007 13:19:21 +0200 wenzelm moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice);
Sun, 21 Jan 2007 16:43:44 +0100 wenzelm moved File.use to ML_Context.use;
Sat, 30 Dec 2006 16:08:00 +0100 wenzelm removed conditional combinator;
Fri, 15 Dec 2006 00:08:06 +0100 wenzelm avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
Thu, 29 Jun 2006 01:08:08 +0200 kleing use -f in cp to overwrite read-only files (e.g. .svn in document/)
Wed, 26 Apr 2006 22:38:05 +0200 wenzelm tuned;
Thu, 19 Jan 2006 21:22:20 +0100 wenzelm use: Output.ML_errors;
Sat, 14 Jan 2006 17:14:06 +0100 wenzelm sane ERROR handling;
Tue, 11 Oct 2005 14:02:32 +0200 wenzelm added assert;
Wed, 06 Jul 2005 10:41:47 +0200 wenzelm added write_list, append_list;
Wed, 29 Jun 2005 15:13:33 +0200 wenzelm added eq;
Mon, 06 Jun 2005 18:58:34 +0200 wenzelm copy_dir: be permissive wrt. errors;
Sun, 05 Jun 2005 11:31:24 +0200 wenzelm removed sysify_path, quote_sysity_path etc.;
Wed, 18 May 2005 11:30:59 +0200 wenzelm tuned;
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 23 Aug 2004 17:06:18 +0200 berghofe Added function for "normalizing" absolute paths (i.e. dereferencing of
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Fri, 15 Feb 2002 20:42:00 +0100 wenzelm moved copy_all to Thy/present.ML;
Fri, 09 Nov 2001 00:14:17 +0100 wenzelm got rid of obsolete input filtering;
Fri, 01 Sep 2000 17:44:44 +0200 wenzelm export quote_sysify_path;
less more (0) -60 tip