Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. clarified conditional ML;
  2. support for conditional ML text;
  3. updated example;
  4. clarified options;
  5. proper context variable handling when stripping leadings quantifiers from test goals
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
Changeset 73585:386416437ce9 by wenzelm:
updated example;
The file was modified README_REPOSITORY
Changeset 73584:1d4c9fa00821 by wenzelm:
clarified options;
The file was modified Admin/init
The file was modified README_REPOSITORY
Changeset 73583:ed5226fdf89d by haftmann:
proper context variable handling when stripping leadings quantifiers from test goals
The file was modified src/Tools/quickcheck.ML