Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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