Summary
- rerun sitegen to fix merge conflicts
- run afp_check_roots in sitegen
- timeout divisible by 300
- Pell: add timeout
- merged
- legacy names
The file was modified | web/index.html (diff) |
The file was modified | web/rss.xml (diff) |
The file was modified | web/statistics.html (diff) |
The file was modified | web/topics.html (diff) |
The file was modified | admin/sitegen (diff) |
The file was modified | thys/Localization_Ring/ROOT (diff) |
The file was modified | thys/Pell/ROOT (diff) |
The file was modified | thys/Algebraic_Numbers/Compare_Complex.thy (diff) |
The file was modified | thys/Count_Complex_Roots/Count_Complex_Roots.thy (diff) |
The file was modified | thys/LLL_Basis_Reduction/Norms.thy (diff) |
The file was modified | thys/Polynomial_Interpolation/Is_Rat_To_Rat.thy (diff) |
The file was modified | thys/Winding_Number_Eval/Cauchy_Index_Theorem.thy (diff) |
The file was modified | thys/Winding_Number_Eval/Winding_Number_Eval.thy (diff) |