| Fri, 25 Sep 2020 15:43:53 +0200 | wenzelm | clarified defaults for nitpick; | changeset | files |
| 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 |
| Fri, 25 Sep 2020 05:26:09 +0000 | haftmann | factored out typedef material | changeset | files |
| Thu, 24 Sep 2020 20:29:07 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 24 Sep 2020 19:54:12 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 24 Sep 2020 19:33:33 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 24 Sep 2020 19:04:47 +0200 | wenzelm | proper platform_path for Windows; | changeset | files |