- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Apr 2 2024
Apr 2 2024
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;
Lars Hupel <lars@hupel.info> committed rISABELLEd6a787ccf583: remove transitional (dummy) component list for Go.
remove transitional (dummy) component list for Go
Apr 1 2024
Apr 1 2024
makarius committed rISABELLE60b6c735b5d5: clarified signature: prefer authentic cterm used in Simplifier, avoid potential….
clarified signature: prefer authentic cterm used in Simplifier, avoid potential…
clarified names (see also 9c00a46d69d0, c5cd7a58cf2d);
makarius committed rISABELLE588ea80f16bb: provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;.
provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;
makarius committed rISABELLE1478c6d52864: clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that….
clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that…
Mar 30 2024
Mar 30 2024
adapted Zeta_3_Irrational w.r.t. isabelle/4c1347e172b1
adapted to isabelle/4c1347e172b1
pruvisto committed rISABELLE4c1347e172b1: moved over material from AFP; most importantly on algebraic numbers and….
moved over material from AFP; most importantly on algebraic numbers and…
Fabian Huch <huch@in.tum.de> committed rISABELLE37ea0727291f: moved web_app module from AFP (e.g., for building web services for the….
moved web_app module from AFP (e.g., for building web services for the…
Fabian Huch <huch@in.tum.de> committed rISABELLEf82639fe786e: update NEWS;.
update NEWS;
Fabian Huch <huch@in.tum.de> committed rAFP36cf00eeb9e4: moved web_app to distribution (see Isabelle/37ea0727291f);.
moved web_app to distribution (see Isabelle/37ea0727291f);
Fabian Huch <huch@in.tum.de> committed rAFP0afb82b8179e: proper topic input validation;.
proper topic input validation;
Fabian Huch <huch@in.tum.de> committed rAFPd95b0fa0cbf5: clarified web app parameters;.
clarified web app parameters;
Fabian Huch <huch@in.tum.de> committed rAFPfad1e73aa9b3: clarified web_app paths: better naming, more operations;.
clarified web_app paths: better naming, more operations;
Mar 29 2024
Mar 29 2024
Fabian Huch <huch@in.tum.de> committed rAFP2c7c46f5b86b: clarified afp_submit: separate model, view, and (API) paths properly;.
clarified afp_submit: separate model, view, and (API) paths properly;
Fabian Huch <huch@in.tum.de> committed rAFPa821024e3b0d: clarified afp_submit: moved submission logic to model;.
clarified afp_submit: moved submission logic to model;
Fabian Huch <huch@in.tum.de> committed rAFPfbd3048e5c19: better rendering of submission archive and Isabelle log;.
better rendering of submission archive and Isabelle log;
Fabian Huch <huch@in.tum.de> committed rAFPc59ea7fd010b: proper state handling in submission handler;.
proper state handling in submission handler;
Fabian Huch <huch@in.tum.de> committed rAFP5fcf885cecfd: tuned name;.
tuned name;
Fabian Huch <huch@in.tum.de> committed rAFP45bd80541bcd: more uniform load_entries;.
more uniform load_entries;
Fabian Huch <huch@in.tum.de> committed rAFP519c2c73b80e: add explicit synchronized server state;.
add explicit synchronized server state;
Eugene W. Stark <stark@cs.stonybrook.edu> committed rAFP449ac450b3a6: Merged..
Merged.
Eugene W. Stark <stark@cs.stonybrook.edu> committed rAFP6610630663ea: Sync with my development repo..
Sync with my development repo.
Mar 28 2024
Mar 28 2024
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
Mar 27 2024
Mar 27 2024
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