Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. isabelle build -N;
Changeset 64265:8eb6365f5916 by wenzelm:
isabelle build -N;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/System/numa.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)