src/Pure/ML/ml_process.scala
Wed, 25 Jun 2025 12:29:04 +0200 wenzelm clarified signature;
Tue, 24 Jun 2025 22:08:20 +0200 wenzelm clarified modules;
Sun, 15 Jun 2025 22:46:45 +0200 wenzelm more flexible ML_Settings in Isabelle/Scala, depending on system options and some default settings;
less more (0) -30 -10 -3 tip