Summary
- make Go test mandatory
- remove generated files
- remove "horrible workaround", fixed in upstream Isabelle (authored by Terru)
- adapted Zeta_3_Irrational w.r.t. isabelle/4c1347e172b1
- adapted to isabelle/4c1347e172b1
- moved web_app to distribution (see Isabelle/37ea0727291f);
- tuned;
- clarified web app parameters;
- proper topic input validation;
- clarified web_app paths: better naming, more operations;
- tuned;
- clarified afp_submit: moved submission logic to model;
- clarified afp_submit: separate model, view, and (API) paths properly;
- better rendering of submission archive and Isabelle log;
- proper state handling in submission handler;
- tuned;
- tuned name;
- add explicit synchronized server state;
- more uniform load_entries;
- Merged.
- Sync with my development repo.
- tuned: prefer for-comprehension in complicated situations;
- tuned formatting;
- tuned: more uniform Isabelle style;
- tuned imports;
- tuned;
- clarified options;
- Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle distribution.
- merged
- tuned proofs: avoid z3 to make it work on arm64-linux;
- tuned whitespace;
- tuned proofs: avoid z3 to make it work on arm64-linux;
- tuned proofs: avoid z3 to make it work on arm64-linux;
- clarified types: richer interface for metadata;
- add option to run formatting operations on all metadata files;
- tuned;
- tuned;
- update to Isabelle/42bc8ab751c1;
- proper Go setup, following Isabelle/da323d3d7570;