Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned: avoid redundant white space;
  3. clarified signature: more robust operations, without assumption about node 0;
  4. clarified signature: more concise operations;
  5. clarified modules: NUMA is managed by Build_Process;
  6. tuned signature;
  7. clarified signature: move all parameters into Build_Process.Context;
  8. clarified signature;
  9. more elementary data structures, to fit better to SQL database;
  10. clarified signature (see also 68a7ad1385bc);
  11. clarified signature;
  12. clarified modules; clarified signature;
  13. merged
  14. merge in backouts
  15. Backed out changeset bafdc56654cf
  16. backout rev 334015f9098e (for Main_Doc.thy only)
  17. Backed out changeset 1fde0e4fd791
  18. merged
  19. Simplifying more proofs
Changeset 77321:cf6947717650 by wenzelm:
merged
Changeset 77320:7a6fa60298cd by wenzelm:
tuned: avoid redundant white space;
The file was modified src/Pure/ML/ml_process.scala (diff)
Changeset 77319:87698fe320bb by wenzelm:
clarified signature: more robust operations, without assumption about node 0;
The file was modified src/Pure/System/numa.scala (diff)
Changeset 77318:7a03477bf3d5 by wenzelm:
clarified signature: more concise operations;
The file was modified src/Pure/System/numa.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 77317:b8ec3c0455db by wenzelm:
clarified modules: NUMA is managed by Build_Process;
The file was modified src/Pure/System/numa.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77316:d17b0851a61a by wenzelm:
tuned signature;
The file was modified src/Pure/System/numa.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 77315:f34559b24277 by wenzelm:
clarified signature: move all parameters into Build_Process.Context;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77314:22564364274e by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77313:f8aa1647d156 by wenzelm:
more elementary data structures, to fit better to SQL database;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77312:6a6231370432 by wenzelm:
clarified signature (see also 68a7ad1385bc);
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77311:5212446f3d7f by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 77310:6754b5eceb12 by wenzelm:
clarified modules;<br>clarified signature;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 77309:cc292dafc527 by nipkow:
merged
Changeset 77308:fa247805669d by nipkow:
merge in backouts
Changeset 77307:f02c8a45c4c1 by nipkow:
Backed out changeset bafdc56654cf
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Map.thy (diff)
Changeset 77306:0794ec39a4e0 by nipkow:
backout rev 334015f9098e (for Main_Doc.thy only)
The file was modified src/Doc/Main/Main_Doc.thy (diff)
Changeset 77305:6470353996f5 by nipkow:
Backed out changeset 1fde0e4fd791
The file was modified NEWS (diff)
Changeset 77304:aea11797247b by paulson:
merged
Changeset 77303:3c4aca1266eb by paulson _lp15@cam.ac.uk_:
Simplifying more proofs
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Computational_Algebra/Fundamental_Theorem_Algebra.thy (diff)