| Tue, 08 Mar 2016 18:15:16 +0100 | wenzelm | isabelle console is based on Isabelle/Scala; | 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 |