| Fri, 25 Sep 2020 15:40:35 +0200 | wenzelm | tuned nitpick message: more like quickcheck; | changeset | files |
| Fri, 25 Sep 2020 14:40:50 +0200 | wenzelm | clarified; | changeset | files |
| Fri, 25 Sep 2020 14:37:47 +0200 | wenzelm | evaluate Scala via running Isabelle/Scala; | changeset | files |
| Fri, 25 Sep 2020 14:37:07 +0200 | wenzelm | more robust: avoid spurious line breaks that might confuse the scala interpreter; | changeset | files |
| Fri, 25 Sep 2020 13:28:28 +0200 | wenzelm | clarified signature: proper eval/print via interpret; | changeset | files |
| Fri, 25 Sep 2020 11:24:28 +0200 | wenzelm | clarified name; | changeset | files |