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 |