src/Pure/ML/ml_syntax.scala
21 months ago wenzelm 2017-10-08 clarified signature;
2017-04-07 wenzelm 2017-04-07 provide session base for "isabelle build" and "isabelle console" ML process;
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-03-26 wenzelm 2016-03-26 tuned;
2016-03-26 wenzelm 2016-03-26 more operations;
2016-03-16 wenzelm 2016-03-16 tuned signature;
2016-03-07 wenzelm 2016-03-07 manage the underlying ML process in Scala;
2016-03-06 wenzelm 2016-03-06 clarified ML syntax for strings concerning UTF8;