Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);
- more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
- misc tuning for release;
- merged;
- NEWS for "isabelle go_setup";
- proper platform_path for Windows;
- misc tuning, following go_setup;
- dynamic setup of Go component, similar to Dotnet;
- tuned comments;
- clarified signature: more operations;
- clarified signature: explicit type Platform.Info with derived operations;
- less ambitious parallelism: avoid exhaustion of memory (64GB total);
- provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
- tuned;
- tuned messages;
- update to bash_process-20240326;
- build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload);
- clarified meaning of platform.props: update on default;
- allow raw input in HTML (e.g., for web applications);
- added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on
- merged
- added lemma wf_on_iff_wf
- changed number of consumed assumptions of wf_on_induct and wfp_on_induct
The file was modified | src/Pure/General/html.scala |
The file was modified | src/Pure/General/html.scala |
The file was modified | src/Pure/PIDE/markup.scala |
The file was modified | CONTRIBUTORS |
The file was modified | NEWS |
The file was modified | NEWS |
The file was modified | lib/Tools/go |
The file was modified | lib/Tools/gofmt |
The file was modified | src/Pure/Tools/dotnet_setup.scala |
The file was added | lib/Tools/go |
The file was added | lib/Tools/gofmt |
The file was added | src/Pure/Tools/go_setup.scala |
The file was modified | etc/build.props |
The file was modified | etc/settings |
The file was modified | src/Pure/System/components.scala |
The file was modified | src/Pure/System/isabelle_tool.scala |
The file was removed | src/Pure/Admin/component_go.scala |
The file was modified | lib/Tools/dotnet |
The file was modified | src/Pure/Tools/dotnet_setup.scala |
The file was modified | src/Pure/System/isabelle_platform.scala |
The file was modified | src/Pure/Tools/dotnet_setup.scala |
The file was modified | src/Pure/Admin/component_go.scala |
The file was modified | src/Pure/System/platform.scala |
The file was modified | src/Pure/Tools/dotnet_setup.scala |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala |
The file was modified | etc/settings |
The file was modified | src/Pure/Tools/dotnet_setup.scala |
The file was modified | src/Pure/Tools/dotnet_setup.scala |
The file was modified | src/Pure/Admin/component_csdp.scala |
The file was modified | src/Pure/Admin/component_minisat.scala |
The file was modified | src/Pure/Admin/component_rsync.scala |
The file was modified | src/Pure/Admin/component_spass.scala |
The file was modified | src/Pure/Admin/component_vampire.scala |
The file was modified | src/Pure/Admin/component_verit.scala |
The file was modified | src/Pure/Admin/component_zipperposition.scala |
The file was modified | Admin/components/components.sha1 |
The file was modified | Admin/components/main |
The file was added | src/Pure/Admin/component_bash_process.scala |
The file was modified | etc/build.props |
The file was modified | src/Pure/System/isabelle_tool.scala |
The file was removed | Admin/bash_process/bash_process.c |
The file was removed | Admin/bash_process/build |
The file was removed | Admin/bash_process/etc/settings |
The file was modified | src/Pure/System/components.scala |
The file was modified | src/Pure/General/html.scala |
The file was modified | NEWS |
The file was modified | src/HOL/Wellfounded.thy |
The file was modified | NEWS |
The file was modified | src/HOL/Wellfounded.thy |
The file was modified | src/HOL/Wellfounded.thy |
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- adapt to Isabelle/11a1f4d7af51;
- use emph instead of italic;
- tuned;
- clarified names;
- tuned lemmas
- merged
- removed stuff moved to the Isabelle distribution
- avoid java.net.URL, following Isabelle/a4118f530263;
- updated: standard Borel
The file was modified | tools/afp_submit.scala |
The file was modified | tools/web_app.scala |
The file was modified | tools/web_app.scala |
The file was modified | tools/afp_submit.scala |
The file was modified | tools/web_app.scala |
The file was modified | tools/afp_submit.scala |
The file was modified | tools/web_app.scala |
The file was modified | thys/Simple_Clause_Learning/Wellfounded_Extra.thy |
The file was modified | thys/Simple_Clause_Learning/Wellfounded_Extra.thy |
The file was modified | tools/afp_submit.scala |
The file was modified | tools/metadata.scala |
The file was modified | tools/utils.scala |
The file was modified | tools/web_app.scala |
The file was modified | thys/Standard_Borel_Spaces/Abstract_Metrizable_Topology.thy |
The file was modified | thys/Standard_Borel_Spaces/Lemmas_StandardBorel.thy |
The file was modified | thys/Standard_Borel_Spaces/Set_Based_Metric_Space.thy |