Summary
- no fork of long-term test results: too complicated;
- avoid depedency on FSet;
The file was modified | Admin/Release/CHECKLIST (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/HOL/Library/Monad_Syntax.thy (diff) |