Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Recent Activity

Today

Fabian Huch <huch@in.tum.de> committed rAFP7a425b5f62ba: tuned: prefer for-comprehension in complicated situations;.
tuned: prefer for-comprehension in complicated situations;
Thu, Mar 28, 6:51 PM
Fabian Huch <huch@in.tum.de> committed rAFP01987db5d362: tuned: more uniform Isabelle style;.
tuned: more uniform Isabelle style;
Thu, Mar 28, 6:50 PM
Fabian Huch <huch@in.tum.de> committed rAFPb93b79b9240e: tuned formatting;.
tuned formatting;
Thu, Mar 28, 6:50 PM
Fabian Huch <huch@in.tum.de> committed rAFPb7690d847464: tuned;.
tuned;
Thu, Mar 28, 6:50 PM
Fabian Huch <huch@in.tum.de> committed rAFPf111b9c197e8: tuned imports;.
tuned imports;
Thu, Mar 28, 6:50 PM
Fabian Huch <huch@in.tum.de> committed rAFP307a818fb212: clarified options;.
clarified options;
Thu, Mar 28, 6:50 PM
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…
Thu, Mar 28, 6:14 PM
makarius committed rAFP0df87a34e8a0: merged.
merged
Thu, Mar 28, 5:51 PM
makarius committed rAFPabe7b3319f06: tuned whitespace;.
tuned whitespace;
Thu, Mar 28, 5:51 PM
makarius committed rAFP5aca58481bd5: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Thu, Mar 28, 5:51 PM
makarius committed rAFP2c25484e1496: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Thu, Mar 28, 5:51 PM
makarius committed rAFP4c396108a3a9: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Thu, Mar 28, 5:51 PM
Fabian Huch <huch@in.tum.de> committed rAFP4cb970a0955a: clarified types: richer interface for metadata;.
clarified types: richer interface for metadata;
Thu, Mar 28, 5:21 PM
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;
Thu, Mar 28, 5:21 PM
Fabian Huch <huch@in.tum.de> committed rAFP4395ecd3d7a5: tuned;.
tuned;
Thu, Mar 28, 5:21 PM
Fabian Huch <huch@in.tum.de> committed rAFPcefde457b8cc: tuned;.
tuned;
Thu, Mar 28, 5:21 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE68f6b29ae066: tuned;.
tuned;
Thu, Mar 28, 5:19 PM
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.
Thu, Mar 28, 4:45 PM
makarius committed rISABELLE9279e96eb34e: clarified signature;.
clarified signature;
Thu, Mar 28, 4:45 PM
makarius committed rISABELLE42bc8ab751c1: clarified modules: more official Sessions.notable_groups;.
clarified modules: more official Sessions.notable_groups;
Thu, Mar 28, 4:45 PM
makarius committed rAFP9ce4d6a809c6: update to Isabelle/42bc8ab751c1;.
update to Isabelle/42bc8ab751c1;
Thu, Mar 28, 4:45 PM
nipkow committed rISABELLEf8d7df38d7c6: tuned.
tuned
Thu, Mar 28, 4:16 PM
paulson committed rISABELLE44d8fb3da9d5: merged.
merged
Thu, Mar 28, 2:33 PM
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
Thu, Mar 28, 2:33 PM
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;
Thu, Mar 28, 1:16 PM
makarius committed rISABELLE7d8a24c5559d: tuned signature;.
tuned signature;
Thu, Mar 28, 12:20 PM
makarius committed rISABELLEb525f783b784: tuned;.
tuned;
Thu, Mar 28, 12:20 PM
makarius committed rISABELLEa213dd3c0b29: tuned signature;.
tuned signature;
Thu, Mar 28, 12:19 PM
desharna committed rISABELLE38803a6b3357: added lemma wfp_on_image and author name to theory.
added lemma wfp_on_image and author name to theory
Thu, Mar 28, 8:31 AM
desharna committed rISABELLE19cc354ba625: merged.
merged
Thu, Mar 28, 8:31 AM

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;
Wed, Mar 27, 10:56 PM
makarius committed rAFP1699d5f4b11d: proper Go setup, following Isabelle/da323d3d7570;.
proper Go setup, following Isabelle/da323d3d7570;
Wed, Mar 27, 10:35 PM
makarius committed rISABELLEda323d3d7570: proper "isabelle go_setup" for Jenkins;.
proper "isabelle go_setup" for Jenkins;
Wed, Mar 27, 10:12 PM
makarius committed rAFP1a2512112874: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Wed, Mar 27, 9:52 PM
makarius committed rAFPd8244335636c: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Wed, Mar 27, 9:52 PM
makarius committed rAFPd9d45697c125: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Wed, Mar 27, 9:52 PM
makarius committed rAFP455b44957816: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Wed, Mar 27, 9:52 PM
makarius committed rAFPd0bd37a0fea4: tuned proofs: avoid z3 to make it work on arm64-linux;.
tuned proofs: avoid z3 to make it work on arm64-linux;
Wed, Mar 27, 9:52 PM
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);
Wed, Mar 27, 9:51 PM
makarius committed rISABELLE742e39db4d58: tuned message;.
tuned message;
Wed, Mar 27, 5:51 PM