Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Yesterday

makarius committed rISABELLE78aa7846e91f: tuned --- fewer warnings;.
tuned --- fewer warnings;
Wed, Mar 3, 11:18 PM
makarius committed rISABELLE31d4274f32de: tuned --- fewer warnings;.
tuned --- fewer warnings;
Wed, Mar 3, 11:18 PM
makarius committed rISABELLE819f6033fb4e: more robust error;.
more robust error;
Wed, Mar 3, 11:18 PM
makarius committed rISABELLE79b120d1c1a3: tuned --- fewer warnings;.
tuned --- fewer warnings;
Wed, Mar 3, 11:18 PM
makarius committed rISABELLEec52a1a6ed31: tuned --- fewer warnings;.
tuned --- fewer warnings;
Wed, Mar 3, 11:18 PM
makarius committed rISABELLE54b43bcf1df3: updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);.
updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
Wed, Mar 3, 11:18 PM
makarius committed rISABELLE279e45248e9d: tuned --- fewer warnings;.
tuned --- fewer warnings;
Wed, Mar 3, 11:18 PM
pruvisto committed rAFPf29eeda4f519: Tuned presentation of Buffon's needle.
Tuned presentation of Buffon's needle
Wed, Mar 3, 10:39 PM
makarius committed rISABELLE88dd8a6a42ba: slightly more efficient Term.fastype_of (only little impact in regular….
slightly more efficient Term.fastype_of (only little impact in regular…
Wed, Mar 3, 8:18 PM

Tue, Mar 2

nipkow committed rAFP5638327e57df: tuned.
tuned
Tue, Mar 2, 10:07 PM
florian.haftmann committed rAFP0cbb56f4445a: reduced dependencies on theory List_Permutation.
reduced dependencies on theory List_Permutation
Tue, Mar 2, 4:32 PM
florian.haftmann committed rISABELLE649316106b08: reduced dependencies on theory List_Permutation.
reduced dependencies on theory List_Permutation
Tue, Mar 2, 4:32 PM
paulson <lp15@cam.ac.uk> committed rISABELLE6c2da22c9631: Merge.
Merge
Tue, Mar 2, 12:37 AM
paulson <lp15@cam.ac.uk> committed rISABELLE65c45cba3f54: reverted simprule status on a new lemma.
reverted simprule status on a new lemma
Tue, Mar 2, 12:37 AM
paulson committed rISABELLEda4334257742: merged.
merged
Tue, Mar 2, 12:37 AM
paulson <lp15@cam.ac.uk> committed rISABELLE00e0f7724c06: tiny bit of lemma hacking.
tiny bit of lemma hacking
Tue, Mar 2, 12:37 AM

Mon, Mar 1

makarius committed rISABELLE8204f7b53007: tuned --- fewer warnings;.
tuned --- fewer warnings;
Mon, Mar 1, 11:27 PM
makarius committed rISABELLEf5c147654661: tuned --- fewer warnings;.
tuned --- fewer warnings;
Mon, Mar 1, 11:18 PM
makarius committed rISABELLE2dd1fd9112d9: tuned --- silence odd warning;.
tuned --- silence odd warning;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLE0ffcad1f6130: tuned --- fewer warnings;.
tuned --- fewer warnings;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLEd0378baf7d06: tuned --- avoid deprecated conversions between certain number type;.
tuned --- avoid deprecated conversions between certain number type;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLE0bf768567d9f: tuned --- avoid deprecated Predef.any2stringadd;.
tuned --- avoid deprecated Predef.any2stringadd;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLE9efdebe24c65: tuned --- fewer warnings;.
tuned --- fewer warnings;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLE5c0e23d73cea: tuned --- fewer warnings;.
tuned --- fewer warnings;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLE0af9e7e4476f: tuned --- fewer warnings;.
tuned --- fewer warnings;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLEc707655239e2: download more directly, via means of JVM;.
download more directly, via means of JVM;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLEff7ce802be52: clarified signature, according to Isabelle/Scala;.
clarified signature, according to Isabelle/Scala;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLE4f9e4d7d38b4: download on separate thread;.
download on separate thread;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLEb70d82358c6d: clarified signature;.
clarified signature;
Mon, Mar 1, 10:59 PM
makarius committed rISABELLE91703452523d: tuned;.
tuned;
Mon, Mar 1, 10:59 PM
paulson <lp15@cam.ac.uk> committed rAFPde7a40fb511d: tidied up messy proofs.
tidied up messy proofs
Mon, Mar 1, 3:58 PM
makarius committed rISABELLE0fb889c361e6: tuned signature;.
tuned signature;
Mon, Mar 1, 3:42 PM
makarius committed rISABELLEd045cdbdf243: proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);.
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
Mon, Mar 1, 3:42 PM
florian.haftmann committed rAFP7281051707f6: lemma diffusion.
lemma diffusion
Mon, Mar 1, 8:20 AM
florian.haftmann committed rAFP713ce6d3becb: dissolve theory with duplicated name from afp.
dissolve theory with duplicated name from afp
Mon, Mar 1, 8:20 AM
florian.haftmann committed rAFPa41a4c9f031d: more connections between mset _ = mset _ and permutations.
more connections between mset _ = mset _ and permutations
Mon, Mar 1, 8:20 AM
florian.haftmann committed rISABELLE2aef2de6b17c: NEWS.
NEWS
Mon, Mar 1, 8:16 AM
florian.haftmann committed rISABELLEff24fe85ee57: lemma diffusion.
lemma diffusion
Mon, Mar 1, 8:14 AM
florian.haftmann committed rISABELLEfd32f08f4fb5: more connections between mset _ = mset _ and permutations.
more connections between mset _ = mset _ and permutations
Mon, Mar 1, 8:14 AM
florian.haftmann committed rISABELLE7a88313895d5: dissolve theory with duplicated name from afp.
dissolve theory with duplicated name from afp
Mon, Mar 1, 8:14 AM