| 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 |