Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. clarified conditional ML;
  2. support for conditional ML text;
Changeset 73587:d1767bcb79ec by wenzelm:
clarified conditional ML;
The file was modified src/Pure/ML/ml_pid.ML
The file was modified src/Pure/ROOT.ML
Changeset 73586:76d0b6597c91 by wenzelm:
support for conditional ML text;
The file was modified NEWS
The file was modified etc/symbols
The file was modified lib/texinputs/isabellesym.sty
The file was modified src/Pure/ML/ml_antiquotation.ML
The file was modified src/Pure/ML/ml_antiquotations.ML
The file was modified src/Pure/ML/ml_system.ML