merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLEa594d22e69d6: updated time functions for Array_Braun
rISABELLEc964cd759f47: merged - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- ebd988ee1d57 more robust Markdown;Author
- 5c00c04f09fb misc tuning;Author
- 64e57aafca1e tuned order;Author
- a03a7d4b82f8 more Setup_Tool services;Author
- d1ac1bb01060 clarified signature;Author
- 27f2a6bd5616 proper SSH operations;Author
- c43a51fde4f5 tuned signature: more permissive;Author
- 339325fdb128 misc tuning for release;Author
- ce9b649ee2dd NEWS for "isabelle go_setup";Author
- f1686f71dffc proper platform_path for Windows;Author
- 07c83d3369c0 misc tuning, following go_setup;Author
- 6964a23f595a tuned comments;Author
- 31ebb6be32b0 tuned messages;Author
- 7e52091795e8 update to bash_process-20240326;Author
- d8320c3a43ec added lemma wf_on_iff_wfAuthor
- e94a36467f4e obsolete: base-line is macOS 11;Author