Changes

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

Summary

proper build for fresh target directory (amending d9823224fcfe);
put more resources into jedit_build component;
more brackets (see f6b453449cc6);
more brackets;

Changeset 73661:8b3e672df28c by wenzelm: proper build for fresh target directory (amending d9823224fcfe);
The file was modified	`src/Tools/jEdit/lib/Tools/jedit`
Changeset 73660:ff716ecb0805 by wenzelm: put more resources into jedit_build component;
The file was modified	`Admin/components/components.sha1`
The file was modified	`Admin/components/main`
The file was modified	`src/Pure/Admin/build_jedit.scala`
The file was modified	`src/Pure/General/file.scala`
The file was modified	`src/Pure/General/path.scala`
The file was modified	`src/Tools/jEdit/lib/Tools/jedit`
The file was removed	`src/Tools/jEdit/src/jEdit.props`
The file was removed	`src/Tools/jEdit/src/modes/isabelle-ml.xml`
The file was removed	`src/Tools/jEdit/src/modes/isabelle-news.xml`
The file was removed	`src/Tools/jEdit/src/modes/isabelle-options.xml`
The file was removed	`src/Tools/jEdit/src/modes/isabelle-root.xml`
The file was removed	`src/Tools/jEdit/src/modes/isabelle.xml`
The file was removed	`src/Tools/jEdit/src/modes/sml.xml`
Changeset 73659:af82097b4adc by wenzelm: more brackets (see f6b453449cc6);
The file was modified	`src/Tools/jEdit/src/modes/isabelle-ml.xml`
The file was modified	`src/Tools/jEdit/src/modes/isabelle-news.xml`
The file was modified	`src/Tools/jEdit/src/modes/isabelle-options.xml`
The file was modified	`src/Tools/jEdit/src/modes/isabelle-root.xml`
The file was modified	`src/Tools/jEdit/src/modes/isabelle.xml`
The file was modified	`src/Tools/jEdit/src/modes/sml.xml`
Changeset 73658:f6b453449cc6 by wenzelm: more brackets;
The file was added	`src/Tools/jEdit/patches/extended_styles_brackets`
The file was removed	`src/Tools/jEdit/patches/extended_styles`