Changes

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

Summary

1. adjusted Given_Clause_Loops from AFP 2022 to AFP devel
2. adjusted CommCSL from AFP 2022 to AFP devel
3. adjusted DigitsInBase from AFP 2022 to AFP devel
4. adjusted Schwartz_Zippel from AFP 2022 to AFP devel
5. adjusted TsirelsonBound from AFP 2022 to AFP devel
6. adjusted Tree_Enumeration from AFP 2022 to AFP devel
7. adjusted efficient WPO from AFP 2022 to afp devel
8. merge from afp-2022
9. New entry Efficient_Weighted_Path_Order
10. add edit mode to afp-submit UI;
11. solved subtle problem with multiple entries and new authors;
12. better error logging;
13. added edit handler to submission app;
14. added frontend in devel mode;
15. tuned (mostly api path handling);
16. A real title in place of MLSS_Decision_Proc
17. MLSS_Decision_Proc sitegen
18. New entry MLSS_Decision_Proc
19. metadata and sitegen for TsirelsonBound
20. new entry: TsirelsonBound
21. New entry Tree_Enumeration
22. Three_Squares citegen
23. New entry Three_Squares
24. fixed some ACM/AMS categories
25. more files
26. New entry MHComputation
27. make index.json files line-by-line for smaller diffs;
28. cleanup;
29. added new entry DigitsInBase;
30. fixed broken LaTeX quotation marks in abstracts
31. recategorised some entries
32. new topic: Computer science/Algorithms/Randomized
33. sitegen for Schwartz_Zippel
34. new entry: Schwartz_Zippel
35. New entry: Simple_Clause_Learning
36. New entry HyperHoareLogic
37. New entry Distributed_Distinct_Elements
38. metadata for CommCSL + sitegen
39. new entry: CommCSL
40. New entry No_FTL_observers_Gen_Rel
41. added new files generated by sitegen
42. sitegen
43. metadata for Expander Graphs
44. new entry: Expander Graphs
45. tuned;
46. fix of toml-entries and rerun of sitegen: problem: links where in these quotes: ”...” and not in the standard ones "..."
47. sitegen (for Binary_Code_Imprimitive and Two_Generated_Word_Monoids_Intersection)
48. metadata for Binary_Code_Imprimitive and Two_Generated_Word_Monoids_Intersection
49. new entry: Two_Generated_Word_Monoids_Intersection
50. new entry: Binary_Code_Imprimitive
51. running sort on ROOTS
52. New entry Probability_Inequality_Completeness
53. Rensets metadata
54. New entry Rensets
55. more Edwards
56. New entry Edwards_Elliptic_Curves_Group
57. metadata and sitegen for CVP_Hardness
58. new entry: CVP_Hardness
59. rerun sitegen
60. revert proof compression experiment
61. metadata for ABY3_Protocols
62. new entry ABY3_Protocols
63. sitegen for Given_Clause_Loops
64. New entry Given_Clause_Loops