added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala; scalac -deprecation;
added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala;
scalac -deprecation;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle