| Thu, 29 Dec 2016 14:43:25 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2016 18:26:16 +0200 |
wenzelm |
tuned error;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2016 20:45:54 +0200 |
wenzelm |
allow empty string;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 21:53:21 +0100 |
wenzelm |
discontinued cd, pwd;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 21:09:28 +0100 |
wenzelm |
File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 15:39:17 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 13:41:53 +0200 |
wenzelm |
precise BinIO, without newline conversion on Windows;
|
file |
diff |
annotate
|
| Tue, 18 Aug 2015 16:08:47 +0200 |
wenzelm |
clarified File.standard_path vs. File.platform_path (like Isabelle/Scala operations);
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
| Fri, 11 Apr 2014 11:52:28 +0200 |
wenzelm |
explicit 'document_files' in session ROOT specifications;
|
file |
diff |
annotate
|
| Thu, 23 Aug 2012 17:46:03 +0200 |
wenzelm |
tuned messages: end-of-input rarely means physical end-of-file from the past;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 15:44:42 +0200 |
wenzelm |
removed redundant check (cf. a8ed41b6280b);
|
file |
diff |
annotate
|
| Sun, 11 Sep 2011 17:30:01 +0200 |
wenzelm |
more orthogonal signature;
|
file |
diff |
annotate
|
| Sat, 16 Jul 2011 18:41:35 +0200 |
wenzelm |
some file and directory operations;
|
file |
diff |
annotate
|
| Sat, 16 Jul 2011 17:11:49 +0200 |
wenzelm |
added File.fold_pages for streaming of large files;
|
file |
diff |
annotate
|
| Fri, 01 Jul 2011 13:54:25 +0200 |
noschinl |
reverted 782991e4180d: fold_fields was never used
|
file |
diff |
annotate
|
| Wed, 13 Apr 2011 20:43:00 +0200 |
noschinl |
Generalized File.fold_lines to File.fold_fields
|
file |
diff |
annotate
|
| Sun, 20 Mar 2011 17:40:45 +0100 |
wenzelm |
replaced File.check by specific File.check_file, File.check_dir;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Sun, 28 Nov 2010 16:35:56 +0100 |
wenzelm |
more permissive Isabelle_System.mkdir;
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 15:58:36 +0100 |
wenzelm |
explicit check for requirement;
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 15:36:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 15:28:00 +0100 |
wenzelm |
more explicit Isabelle_System operations;
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 14:19:04 +0100 |
wenzelm |
moved file identification to thy_load.ML (where it is actually used);
|
file |
diff |
annotate
|
| Thu, 08 Jul 2010 09:36:22 +0200 |
haftmann |
rm_tree: remove entire file system trees
|
file |
diff |
annotate
|
| Thu, 01 Jul 2010 13:38:17 +0200 |
haftmann |
refined semantics of mkdir_leaf: do not fail if directory already exists
|
file |
diff |
annotate
|
| Wed, 30 Jun 2010 12:20:45 +0200 |
haftmann |
mkdir_leaf -- avoiding surprises with typos in user-given paths
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Tue, 27 Oct 2009 13:16:16 +0100 |
wenzelm |
non-critical atomic accesses;
|
file |
diff |
annotate
|