Sun, 24 May 2020 21:11:23 +0200 | wenzelm | merged | changeset | files |
Sun, 24 May 2020 21:01:51 +0200 | wenzelm | proper stack_limit; | changeset | files |
Sun, 24 May 2020 20:59:34 +0200 | wenzelm | clarified signature; | changeset | files |
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 |