Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces);

Changeset 80104:138b5172c7f8 by fabian huch _huch@in.tum.de_: clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces);
The file was modified	`src/Pure/System/web_app.scala`