- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Today
Today
Fabian Huch <huch@in.tum.de> committed rAFP7a425b5f62ba: tuned: prefer for-comprehension in complicated situations;.
tuned: prefer for-comprehension in complicated situations;
Fabian Huch <huch@in.tum.de> committed rAFP01987db5d362: tuned: more uniform Isabelle style;.
tuned: more uniform Isabelle style;
Fabian Huch <huch@in.tum.de> committed rAFPb93b79b9240e: tuned formatting;.
tuned formatting;
Fabian Huch <huch@in.tum.de> committed rAFPf111b9c197e8: tuned imports;.
tuned imports;
Fabian Huch <huch@in.tum.de> committed rAFP307a818fb212: clarified options;.
clarified options;
Emin Karayel <me@eminkarayel.de> committed rAFPf8eca525e197: Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle….
Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle…
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
Fabian Huch <huch@in.tum.de> committed rAFP4cb970a0955a: clarified types: richer interface for metadata;.
clarified types: richer interface for metadata;
Fabian Huch <huch@in.tum.de> committed rAFP9cad40069322: add option to run formatting operations on all metadata files;.
add option to run formatting operations on all metadata files;
makarius committed rISABELLE87f90735e6dd: removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g..
removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g.
clarified signature;
makarius committed rISABELLE42bc8ab751c1: clarified modules: more official Sessions.notable_groups;.
clarified modules: more official Sessions.notable_groups;
update to Isabelle/42bc8ab751c1;
paulson <lp15@cam.ac.uk> committed rISABELLE35b2143aeec6: An assortment of new material, mostly due to Manuel.
An assortment of new material, mostly due to Manuel
makarius committed rISABELLE9cdc4f533b91: rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;.
rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;
desharna committed rISABELLE38803a6b3357: added lemma wfp_on_image and author name to theory.
added lemma wfp_on_image and author name to theory
Yesterday
Yesterday
makarius committed rISABELLE308ccc1ef982: proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;.
proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
proper Go setup, following Isabelle/da323d3d7570;
proper "isabelle go_setup" for Jenkins;
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
tuned proofs: avoid z3 to make it work on arm64-linux;
makarius committed rISABELLEa0210a24b547: dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);.
dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);
support for "all" platforms;
clarified signature;
nipkow committed rAFPbd6e0a8eeb23: updates to new time function generator that now translates undefined to….
updates to new time function generator that now translates undefined to…
nipkow committed rISABELLEa594d22e69d6: updated time functions for Array_Braun.
updated time functions for Array_Braun
paulson <lp15@cam.ac.uk> committed rAFP18437ad04fb8: Fixes mostly for log_mono aliasing.
Fixes mostly for log_mono aliasing
paulson <lp15@cam.ac.uk> committed rISABELLE95b4fb2b5359: New material and a bit of refactoring.
New material and a bit of refactoring
makarius committed rISABELLE71d005ffa9fe: remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and….
remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and…
more robust Markdown;
run "isabelle components_build -u";
makarius committed rISABELLE38bbc2ff3c24: remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";.
remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";
more Setup_Tool services;
proper SSH operations;
clarified signature;
makarius committed rISABELLE77e605c66797: clarified signature: explicit variable is easier to find in source;.
clarified signature: explicit variable is easier to find in source;
tuned signature: more permissive;
makarius committed rISABELLEba06861e91f9: proper services for Setup_Tool --- avoid hardwired stuff;.
proper services for Setup_Tool --- avoid hardwired stuff;
paulson <lp15@cam.ac.uk> committed rAFPc6e769593bac: Brought this new entry up-to-date with the development version.
Brought this new entry up-to-date with the development version
desharna committed rISABELLE991557e01814: renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal.
renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal
paulson <lp15@cam.ac.uk> committed rAFP7e1cd1183cd3: sitegen for Continued_Fractions.
sitegen for Continued_Fractions
sitegen for Approximate_Model_Counting
paulson <lp15@cam.ac.uk> committed rAFP83d6170644f2: New entry "Continued_Fractions".
New entry "Continued_Fractions"
tuned (removing warnings)
new entry Approximate_Model_Counting
Go: website updates
Tue, Mar 26
Tue, Mar 26
makarius committed rISABELLEac4412562c7b: more robust XML body: allow empty text, as well as arbitrary pro-forma markup….
more robust XML body: allow empty text, as well as arbitrary pro-forma markup…
NEWS for "isabelle go_setup";
makarius committed rISABELLEfb96063456fd: more robust: untyped/unscoped markup elements need to reside in module Markup….
more robust: untyped/unscoped markup elements need to reside in module Markup…
misc tuning for release;
misc tuning, following go_setup;
proper platform_path for Windows;
dynamic setup of Go component, similar to Dotnet;
clarified signature: more operations;
makarius committed rISABELLE914c4a81027d: clarified signature: explicit type Platform.Info with derived operations;.
clarified signature: explicit type Platform.Info with derived operations;
makarius committed rISABELLEa4d94dd5c210: less ambitious parallelism: avoid exhaustion of memory (64GB total);.
less ambitious parallelism: avoid exhaustion of memory (64GB total);
makarius committed rISABELLEd89685d3d306: provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";.
provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
update to bash_process-20240326;
makarius committed rISABELLEee449ca91c3b: build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all….
build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all…
clarified meaning of platform.props: update on default;
Fabian Huch <huch@in.tum.de> committed rISABELLE11a1f4d7af51: allow raw input in HTML (e.g., for web applications);.
allow raw input in HTML (e.g., for web applications);
Fabian Huch <huch@in.tum.de> committed rAFPba52e1ff7569: adapt to Isabelle/11a1f4d7af51;.
adapt to Isabelle/11a1f4d7af51;
Fabian Huch <huch@in.tum.de> committed rAFPa10b74bad3f1: use emph instead of italic;.
use emph instead of italic;
Fabian Huch <huch@in.tum.de> committed rAFPab8dd4efb9fb: clarified names;.
clarified names;
desharna committed rISABELLEdca9c237d108: added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and….
added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and…