wenzelm [Tue, 26 May 2020 11:25:33 +0200] rev 71895
tuned;
wenzelm [Tue, 26 May 2020 11:17:10 +0200] rev 71894
tuned;
wenzelm [Mon, 25 May 2020 22:37:22 +0200] rev 71893
more antiquotations;
wenzelm [Mon, 25 May 2020 22:37:14 +0200] rev 71892
obsolete;
wenzelm [Mon, 25 May 2020 22:20:21 +0200] rev 71891
check free-form Scala source;
wenzelm [Mon, 25 May 2020 20:52:55 +0200] rev 71890
clarified static_check: avoid accidental evaluation;
wenzelm [Mon, 25 May 2020 20:46:50 +0200] rev 71889
omit pointless memoing: Scala compiler is rather bulky anyway;
wenzelm [Mon, 25 May 2020 20:43:19 +0200] rev 71888
clarified signature;
wenzelm [Mon, 25 May 2020 19:10:38 +0200] rev 71887
antiquotations for Scala entities;
haftmann [Sun, 24 May 2020 19:57:13 +0000] rev 71886
better closeup and more consistent terminology
wenzelm [Sun, 24 May 2020 21:11:23 +0200] rev 71885
merged
wenzelm [Sun, 24 May 2020 21:01:51 +0200] rev 71884
proper stack_limit;
wenzelm [Sun, 24 May 2020 20:59:34 +0200] rev 71883
clarified signature;
wenzelm [Sun, 24 May 2020 20:35:24 +0200] rev 71882
more accurate classpath for "isabelle scala";
wenzelm [Sun, 24 May 2020 19:45:42 +0200] rev 71881
proper check of registered Scala functions;
wenzelm [Sun, 24 May 2020 14:47:28 +0200] rev 71880
asynchronous build_session: notably for Scala.fulfill protocol commands during run;
wenzelm [Sun, 24 May 2020 14:15:44 +0200] rev 71879
clarified build_session protocol;
wenzelm [Sun, 24 May 2020 13:39:45 +0200] rev 71878
clarified signature;
wenzelm [Sun, 24 May 2020 12:43:04 +0200] rev 71877
clarified name;
wenzelm [Sun, 24 May 2020 12:38:41 +0200] rev 71876
more robust: explicit check for PIDE session;
wenzelm [Sun, 24 May 2020 10:36:42 +0200] rev 71875
tuned signature;
wenzelm [Sun, 24 May 2020 10:28:04 +0200] rev 71874
unused;
wenzelm [Sat, 23 May 2020 22:09:55 +0200] rev 71873
tuned signature;
wenzelm [Sat, 23 May 2020 21:58:44 +0200] rev 71872
check Scala source snippets from ML;
wenzelm [Sat, 23 May 2020 21:43:30 +0200] rev 71871
more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment;
wenzelm [Sat, 23 May 2020 12:04:24 +0200] rev 71870
init default context;
wenzelm [Sat, 23 May 2020 11:33:45 +0200] rev 71869
tuned message;
wenzelm [Sat, 23 May 2020 11:27:35 +0200] rev 71868
clarified signature;
wenzelm [Sat, 23 May 2020 11:25:34 +0200] rev 71867
tuned;
wenzelm [Sat, 23 May 2020 10:58:01 +0200] rev 71866
more brackets (see 2e8af171887f);