Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. remove Thm.transfer workaround made obsplete by cf2406e654cf
  2. back to post-release mode;
  3. Added tag Isabelle2020-RC2 for changeset 7eadccd4392c
  4. claried error elements: include internalized errors of tokens/commands;
  5. more robust connection via proxy_host;
Changeset 71558:1cf958713cf7 by traytel:
remove Thm.transfer workaround made obsplete by cf2406e654cf
The file was modified src/HOL/Tools/BNF/bnf_lift.ML (diff)
Changeset 71557:61ba52af28e3 by wenzelm:
back to post-release mode;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 71556:644a78e08033 by wenzelm:
Added tag Isabelle2020-RC2 for changeset 7eadccd4392c
The file was modified .hgtags (diff)
Changeset 71555:7eadccd4392c by wenzelm:
claried error elements: include internalized errors of tokens/commands;
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 71554:2a82462276db by wenzelm:
more robust connection via proxy_host;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)