Summary
- clarified conditional ML;
- support for conditional ML text;
- updated example;
- clarified options;
- proper context variable handling when stripping leadings quantifiers from test goals
The file was modified | src/Pure/ML/ml_pid.ML (diff) |
The file was modified | src/Pure/ROOT.ML (diff) |
The file was modified | NEWS (diff) |
The file was modified | etc/symbols (diff) |
The file was modified | lib/texinputs/isabellesym.sty (diff) |
The file was modified | src/Pure/ML/ml_antiquotation.ML (diff) |
The file was modified | src/Pure/ML/ml_antiquotations.ML (diff) |
The file was modified | src/Pure/ML/ml_system.ML (diff) |
The file was modified | README_REPOSITORY (diff) |
The file was modified | Admin/init (diff) |
The file was modified | README_REPOSITORY (diff) |
The file was modified | src/Tools/quickcheck.ML (diff) |