Open Tasks
Open Tasks
Normal (6)
Normal (6)
- Nov 27 2021, 3:30 PM
Low (5)
Low (5)
Wishlist (4)
Wishlist (4)
Active Repositories
Active Repositories
Recent Activity
Recent Activity
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);