| Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |
| Mon, 03 Dec 2012 16:07:28 +0100 | wenzelm | synchronized read access to cache file -- avoid potential conflict with ongoing write (which is non-atomic); | file | diff | annotate |
| Mon, 03 Dec 2012 15:23:36 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 16 Jul 2011 20:52:41 +0200 | wenzelm | moved bash operations to Isabelle_System (cf. Scala version); | file | diff | annotate |
| Sat, 26 Mar 2011 18:31:39 +0100 | wenzelm | Isabelle_System.create_tmp_path/with_tmp_file: optional extension; | file | diff | annotate |
| Sun, 13 Mar 2011 20:21:24 +0100 | wenzelm | explicit type SHA1.digest; | file | diff | annotate |
| Sun, 13 Mar 2011 16:14:14 +0100 | wenzelm | more conventional variable name; | file | diff | annotate |