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 |
Tue, 21 Dec 2010 11:54:35 +0100 | wenzelm | make SML/NJ and Poly/ML agree on the type of "before"; | file | diff | annotate |
Mon, 20 Dec 2010 14:44:00 +0100 | wenzelm | slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version); | 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:45:20 +0100 | wenzelm | more basic Isabelle_System.mkdir; | file | diff | annotate |
Sat, 27 Nov 2010 15:28:00 +0100 | wenzelm | more explicit Isabelle_System operations; | file | diff | annotate |