Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. explicit checkpoint to make this work with 32bit;
  2. more parallel build;
  3. tuned;
  4. more parallel build;
  5. proper name;
Changeset 7083:8df406ce23a7 by wenzelm:
explicit checkpoint to make this work with 32bit;
The file was modified thys/Collections/ROOT (diff)
Changeset 7082:ac12f4742316 by wenzelm:
more parallel build;
The file was modified thys/Collections/ROOT (diff)
Changeset 7081:cb832724e588 by wenzelm:
tuned;
The file was modified thys/Refine_Imperative_HOL/ROOT (diff)
Changeset 7080:9ea0480e3587 by wenzelm:
more parallel build;
The file was modified thys/EdmondsKarp_Maxflow/ROOT (diff)
Changeset 7079:7b081d99b597 by wenzelm:
proper name;
The file was modified thys/HereditarilyFinite/Finite_Automata.thy (diff)