| Sun, 24 May 2020 20:35:24 +0200 | wenzelm | more accurate classpath for "isabelle scala"; | changeset | files |
| Sun, 24 May 2020 19:45:42 +0200 | wenzelm | proper check of registered Scala functions; | changeset | files |
| Sun, 24 May 2020 14:47:28 +0200 | wenzelm | asynchronous build_session: notably for Scala.fulfill protocol commands during run; | changeset | files |
| Sun, 24 May 2020 14:15:44 +0200 | wenzelm | clarified build_session protocol; | changeset | files |
| Sun, 24 May 2020 13:39:45 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 24 May 2020 12:43:04 +0200 | wenzelm | clarified name; | changeset | files |