#1198 (Sep 25, 2019, 1:33:13 AM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

1. Fixed references to linorder_antisym_conv1 and linorder_antisym_conv2 (detail)
2. merge from afp-2019 (detail)
3. sitegen for (fixed) Linear_Programming (detail)
4. merged (detail)
5. Corrected entry where typesetting works (simply through the use of old-fashioned comments) (detail)
6. New entry Linear_Programming (detail)
7. updated to isabelle be8e617b6eb3 (detail)
8. session directories (detail)
9. merge from afp-2019 (detail)
10. New entry Generic_Join (detail)
11. adjust isabelle logo dimensions and URL (detail)
12. Isabelle/AFP (detail)
13. New entry Fourier (detail)
14. metadata and sitegen for Hybrid_Systems_VCs (detail)
15. new entry: Hybrid_Systems_VCs (detail)
16. New entry Jacobson_Basic_Algebra (detail)
17. comment out SF upload for now; maybe make it optional later (detail)
18. sitegen (detail)
19. new entry: Formalisation of an Adaptive State Counting Algorithm (detail)
20. explicit lemma in LLL_Factorization (detail)
21. website for Laplace_Transform (detail)
22. new entry Laplace_Transform (detail)
23. merged (detail)
24. should not be ignored (detail)
25. C2KA_DistributedSystems web page (detail)
26. new entry C2KA_DistributedSystems (detail)
27. forgot to add (detail)
28. new entry: IMO2019 (detail)
29. new entry Stellar_Quorums (detail)
30. adjusted document-root of TESL_Language (detail)
31. sitegen for TESL_Language (detail)
32. New entry: Szpilrajn (detail)
33. new entry: TESL 1.0 (detail)
34. New entry FOL_Seq_Calc1 (detail)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. merged (detail)
2. merged (detail)
3. simplified proofs (detail)
4. some information about Phabricator server setup; (detail)
5. More type class generalisations. Note that linorder_antisym_conv1 and linorder_antisym_conv2 no longer exist. (detail)

Started by an SCM change

This run spent:

• 7.2 sec waiting;
• 9 hr 33 min build duration;
• 9 hr 33 min total from scheduled to completion.