2 months ago wenzelm [Sun, 24 May 2020 14:47:28 +0200] rev 71880
asynchronous build_session: notably for Scala.fulfill protocol commands during run;
src/Pure/Tools/build.ML

2 months ago wenzelm [Sun, 24 May 2020 14:15:44 +0200] rev 71879
clarified build_session protocol;
src/Pure/PIDE/protocol.ML src/Pure/Tools/build.ML src/Pure/Tools/build.scala

2 months ago wenzelm [Sun, 24 May 2020 13:39:45 +0200] rev 71878
clarified signature;
src/Pure/System/isabelle_process.ML src/Pure/Tools/build.ML

2 months ago wenzelm [Sun, 24 May 2020 12:43:04 +0200] rev 71877
clarified name;
etc/options src/Pure/Tools/build.scala

2 months ago wenzelm [Sun, 24 May 2020 12:38:41 +0200] rev 71876
more robust: explicit check for PIDE session;
src/Pure/ML/ml_process.scala src/Pure/PIDE/protocol.ML src/Pure/PIDE/resources.ML src/Pure/System/scala.ML src/Pure/Tools/build.ML

2 months ago wenzelm [Sun, 24 May 2020 10:36:42 +0200] rev 71875
tuned signature;
src/Pure/ML/ml_process.scala src/Pure/PIDE/protocol.ML src/Pure/PIDE/protocol.scala src/Pure/PIDE/resources.ML src/Pure/PIDE/session.scala src/Pure/Tools/build.ML

2 months ago wenzelm [Sun, 24 May 2020 10:28:04 +0200] rev 71874
unused;
src/Pure/System/scala.scala

2 months ago wenzelm [Sat, 23 May 2020 22:09:55 +0200] rev 71873
tuned signature;
src/Pure/System/scala.ML src/Pure/System/scala.scala

2 months ago wenzelm [Sat, 23 May 2020 21:58:44 +0200] rev 71872
check Scala source snippets from ML;
src/Pure/System/scala.ML src/Pure/System/scala.scala

2 months ago wenzelm [Sat, 23 May 2020 21:43:30 +0200] rev 71871
more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment;
etc/settings src/Pure/System/scala.ML src/Pure/System/scala.scala src/Pure/Thy/bibtex.ML