#2238 (Sep 19, 2020, 8:50:03 AM)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. merge from afp 2020 (detail)
2. metadata and website for EFSMs (detail)
3. changed short name of upcoming new entry as discussed with authors (detail)
4. Fixed broken links (missing quote) (detail)
5. sitegen for Robinson_Arithmetic (detail)
6. new entry Robinson_Arithmetic (detail)
7. missed for some reason (detail)
8. Goedel_HFSet_Semanticless sitegen (detail)
9. sitegen for Goedel_HFSet_Semantic (detail)
10. new entry Goedel_HFSet_Semantic (detail)
11. sitegen Goedel_Incompleteness (detail)
12. new entry Goedel_Incompleteness (detail)
13. sitegen for Syntax_Independent_Logic (detail)
14. new entry Syntax_Independent_Logic (detail)
15. new entry: Inference of Extended Finite State Machines (detail)
16. new entry: Extended Finite State Machines (detail)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 18 min build duration;
• 20 min total from scheduled to completion.

• Goedel_HFSet_Semanticless
• Extended_Finite_State_Machines
• Robinson_Arithmetic