Changes

Summary

avoid redundant escapes;
clarified treatment of fragments of Isabelle symbols during bootstrap;
clarified ML syntax for strings concerning UTF8;
tuned signature;

Changeset 62530:5499461a0203 by wenzelm: avoid redundant escapes;
The file was modified	`src/HOL/Tools/Quickcheck/narrowing_generators.ML` (diff)
Changeset 62529:8b7bdfc09f3b by wenzelm: clarified treatment of fragments of Isabelle symbols during bootstrap;
The file was modified	`src/Pure/General/position.ML` (diff)
The file was modified	`src/Pure/General/symbol.ML` (diff)
The file was modified	`src/Pure/General/symbol_pos.ML` (diff)
The file was modified	`src/Pure/Isar/parse.ML` (diff)
The file was modified	`src/Pure/ML/ml_compiler0.ML` (diff)
The file was modified	`src/Pure/Syntax/lexicon.ML` (diff)
The file was modified	`src/Pure/Syntax/syntax_ext.ML` (diff)
The file was modified	`src/Pure/Syntax/syntax_phases.ML` (diff)
The file was modified	`src/Pure/Syntax/syntax_trans.ML` (diff)
The file was modified	`src/Pure/Thy/html.ML` (diff)
The file was modified	`src/Pure/Thy/markdown.ML` (diff)
The file was modified	`src/Pure/library.ML` (diff)
The file was modified	`src/Pure/pure_thy.ML` (diff)
The file was modified	`src/Pure/term.ML` (diff)
Changeset 62528:c8c532b22947 by wenzelm: clarified ML syntax for strings concerning UTF8;
The file was added	`src/Pure/ML/ml_syntax.scala`
The file was modified	`src/Pure/General/symbol.scala` (diff)
The file was modified	`src/Pure/ML/ml_syntax.ML` (diff)
The file was modified	`src/Pure/build-jars` (diff)
Changeset 62527:aae9a2a855e0 by wenzelm: tuned signature;
The file was modified	`src/Pure/General/bytes.scala` (diff)
The file was modified	`src/Pure/System/utf8.scala` (diff)
The file was modified	`src/Tools/jEdit/src/isabelle_encoding.scala` (diff)