Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned;
  2. tuned;
  3. more documentation;
  4. proper treatment of nested antiquotations; clarified signature;
  5. support for ML special forms: modified evaluation similar to Scheme;
  6. clarified signature: more detailed token positions for antiquotations;
Changeset 73554:c973b5300025 by wenzelm:
tuned;
The file was modified src/Pure/General/bytes.scala
Changeset 73553:b35ef8162807 by wenzelm:
tuned;
The file was modified src/HOL/Eisbach/Tests.thy
The file was modified src/HOL/Eisbach/eisbach_rule_insts.ML
The file was modified src/HOL/Eisbach/match_method.ML
Changeset 73552:08bef311d382 by wenzelm:
more documentation;
The file was modified lib/texinputs/isabellesym.sty
The file was modified src/Doc/Implementation/ML.thy
Changeset 73551:53c148e39819 by wenzelm:
proper treatment of nested antiquotations;<br>clarified signature;
The file was modified src/HOL/Analysis/measurable.ML
The file was modified src/HOL/Tools/Meson/meson.ML
The file was modified src/HOL/Tools/Quotient/quotient_def.ML
The file was modified src/Pure/General/antiquote.ML
The file was modified src/Pure/ML/ml_antiquotation.ML
The file was modified src/Pure/ML/ml_context.ML
Changeset 73550:2f6855142a8c by wenzelm:
support for ML special forms: modified evaluation similar to Scheme;
The file was modified NEWS
The file was modified etc/symbols
The file was modified src/HOL/Library/Countable.thy
The file was modified src/HOL/Tools/Qelim/cooper.ML
The file was modified src/Pure/General/antiquote.ML
The file was modified src/Pure/ML/ml_antiquotation.ML
The file was modified src/Pure/ML/ml_antiquotations.ML
Changeset 73549:a2c589d5e1e4 by wenzelm:
clarified signature: more detailed token positions for antiquotations;
The file was modified src/Pure/Isar/isar_cmd.ML
The file was modified src/Pure/ML/ml_antiquotation.ML
The file was modified src/Pure/ML/ml_context.ML
The file was modified src/Pure/ML/ml_lex.ML
The file was modified src/Pure/ML/ml_thms.ML