Started 16 hr ago
Took 1 hr 45 min on master

Success Build #652 (May 23, 2018 10:36:10 PM)

Changes
  1. merged (detail / hgweb)
  2. more complete and more correct documentation on code generation (detail / hgweb)
  3. grouped material on numeral division (detail / hgweb)
  4. automatic classical rule to derive a dvd b from b mod a = 0 (detail / hgweb)
  5. consider dvdE for automated classical proving (detail / hgweb)
  6. small tidy-up of Complex_Transcendental (detail / hgweb)
  7. merged (detail / hgweb)
  8. added lambda-free HO output for Ehoh (higher-order E prototype) (detail / hgweb)
  9. First step to remove nonstandard "[x <- xs. P]" syntax: only input (detail / hgweb)
  10. merged (detail / hgweb)
  11. removed unicode symbol (detail / hgweb)
  12. Moved Landau_Symbols from the AFP to HOL-Library (detail / hgweb)
  13. merged (detail / hgweb)
  14. more checks for global facts: disallow undeclared frees (as in Export_Theory.export_fact); (detail / hgweb)
  15. small clean-up of Complex_Analysis_Basics (detail / hgweb)

Started by an SCM change

This run spent:

  • 5.9 sec waiting in the queue;
  • 1 hr 45 min building on an executor;
  • 1 hr 45 min total from scheduled to completion.
Revision: 4e79377048432c9375739f19690ae21be4cdebec
SRJobBuild #DurationConsole
main
testboard-makeallbuild #652( 1 hr 0 min )Console Output
testboard-afpbuild #652( 1 hr 44 min )Console Output