uniform system name;

more uniform path syntax, as in ML (see 5a7c919a4ada);

tunes signature;

eliminated "xname" and variants;

clarified syntax;

tunes signature -- more uniform ML vs. Scala;

position parser as in ML;

more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML;

tuned signature;

command-line terminator ";" is no longer accepted;

some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;

more precise token positions;

simplified (despite 70898d016538);

clarifed module name;

--HG--
rename : src/Pure/Thy/thy_load.ML => src/Pure/PIDE/resources.ML
rename : src/Pure/Thy/thy_load.scala => src/Pure/PIDE/resources.scala
rename : src/Tools/jEdit/src/jedit_thy_load.scala => src/Tools/jEdit/src/jedit_resources.scala

clarified path checks: avoid crash of rendering due to spurious errors;

tuned imports;

tuned signature -- agree with markup terminology;

improved errors of parser combinators;

tuned messages: end-of-input rarely means physical end-of-file from the past;

more structural parsing for minor modes;
tuned signatures;

proper treatment of eof wrt. proper_input -- allow input of spaces/comments only;

tuned signature;

more explicit checks during parsing;

support Session.Queue with ordering and dependencies;

clarified syntax of prospective keywords;

tuned;

updated headers;

renamed class Outer_Lex to Token and Token_Kind to Token.Kind;

--HG--
rename : src/Pure/Isar/outer_lex.scala => src/Pure/Isar/token.scala

renamed Outer_Parse to Parse (in Scala);

--HG--
rename : src/Pure/Isar/outer_parse.scala => src/Pure/Isar/parse.scala