Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tolerate more errors (cf. 1e5ae735e026);
Changeset 66604:1af360d1cad2 by wenzelm:
tolerate more errors (cf. 1e5ae735e026);
The file was modified src/Pure/Thy/sessions.scala (diff)