Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Today

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

Yesterday

makarius committed rISABELLEa89f56ab2686: more robust (amending 87403fde8cc3): notably allow symlink to existing….
more robust (amending 87403fde8cc3): notably allow symlink to existing…
Sun, Feb 28, 9:38 PM

Sat, Feb 27

makarius committed rISABELLE48abb09d49ea: more Isabelle/ML/Scala operations;.
more Isabelle/ML/Scala operations;
Sat, Feb 27, 10:53 PM
makarius committed rISABELLEc2ab1a970e82: more Isabelle/ML/Scala operations;.
more Isabelle/ML/Scala operations;
Sat, Feb 27, 10:53 PM
makarius committed rISABELLE0b8411b27059: proper src1, amending 20157c8ab3f3;.
proper src1, amending 20157c8ab3f3;
Sat, Feb 27, 10:53 PM
makarius committed rISABELLE5b15eee1a661: more Isabelle/ML/Scala operations;.
more Isabelle/ML/Scala operations;
Sat, Feb 27, 10:53 PM
makarius committed rISABELLE20157c8ab3f3: tuned;.
tuned;
Sat, Feb 27, 10:53 PM
makarius committed rISABELLEa7d9edd2e63b: proper File.eq, amending df49ca5da9d0;.
proper File.eq, amending df49ca5da9d0;
Sat, Feb 27, 10:53 PM
makarius committed rISABELLEdf49ca5da9d0: clarified modules: more like ML;.
clarified modules: more like ML;
Sat, Feb 27, 10:53 PM
makarius committed rISABELLEa45cb064709b: tuned;.
tuned;
Sat, Feb 27, 10:53 PM
makarius committed rISABELLEd01ca5e9e0da: tuned;.
tuned;
Sat, Feb 27, 10:53 PM
makarius committed rISABELLE8664433956b3: obsolete;.
obsolete;
Sat, Feb 27, 10:53 PM
makarius committed rISABELLE8ae2f8ebc373: discontinued somewhat pointless "integrity test of build_history": it fails….
discontinued somewhat pointless "integrity test of build_history": it fails…
Sat, Feb 27, 10:53 PM
makarius committed rISABELLE87403fde8cc3: more direct make_directory in ML and Scala, but ssh still requires perl for….
more direct make_directory in ML and Scala, but ssh still requires perl for…
Sat, Feb 27, 10:53 PM
makarius committed rISABELLE736b8853189a: more checks;.
more checks;
Sat, Feb 27, 2:16 PM
makarius committed rISABELLE54262af6d310: clarified message;.
clarified message;
Sat, Feb 27, 2:16 PM
makarius committed rISABELLE606ae85b8c6b: clarified comments;.
clarified comments;
Sat, Feb 27, 2:16 PM
makarius committed rISABELLE6e155bb1516d: clarified message;.
clarified message;
Sat, Feb 27, 2:16 PM
makarius committed rISABELLEf73c691bd679: clarified message;.
clarified message;
Sat, Feb 27, 12:25 PM

Fri, Feb 26

nipkow committed rISABELLEc8e317a4c905: improved list_neq simproc.
improved list_neq simproc
Fri, Feb 26, 6:06 PM
kleing committed rAFPca99cb5446f9: merge from afp-2021.
merge from afp-2021
Fri, Feb 26, 11:27 AM
kleing committed rAFP59274460849c: merge from afp-2021.
merge from afp-2021
Fri, Feb 26, 11:26 AM
kleing committed rAFP47c06f8d5f2c: website update.
website update
Fri, Feb 26, 11:26 AM
kleing committed rAFP6fc43618aaf0: revert accidental change.
revert accidental change
Fri, Feb 26, 11:26 AM
kleing committed rAFPbe7b3ad01ba4: new entry BTree.
new entry BTree
Fri, Feb 26, 11:26 AM
kleing committed rAFP90fe8dfd1261: fix typo (Bauer -> Bayer).
fix typo (Bauer -> Bayer)
Fri, Feb 26, 11:26 AM
kleing committed rAFPa175903c09b5: add Windows example to use-instructions.
add Windows example to use-instructions
Fri, Feb 26, 11:26 AM
paulson <lp15@cam.ac.uk> committed rAFPcb1f24a06749: Formal_Puiseux_Series website.
Formal_Puiseux_Series website
Fri, Feb 26, 11:26 AM
kleing committed rAFP3a0ed0e8fcfb: Isabelle app layout changed on Mac.
Isabelle app layout changed on Mac
Fri, Feb 26, 11:26 AM
paulson <lp15@cam.ac.uk> committed rAFP74a42283f683: new entry Formal_Puiseux_Series.
new entry Formal_Puiseux_Series
Fri, Feb 26, 11:26 AM
kleing committed rAFP79150f043fa8: update with 2021 release .tar.gz's.
update with 2021 release .tar.gz's
Fri, Feb 26, 11:26 AM