Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Yesterday

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
kleing committed rAFPfc614d4bafa6: 2021 web pages.
2021 web pages
Fri, Feb 26, 11:26 AM
kleing committed rAFP4e172abaea0d: add Isabelle2021 release date.
add Isabelle2021 release date
Fri, Feb 26, 11:26 AM
kleing committed rAFP89b54e9a0be0: update .tar.gz releases.
update .tar.gz releases
Fri, Feb 26, 11:26 AM
kleing committed rAFP774ce640a08f: set version to 2021.
set version to 2021
Fri, Feb 26, 11:26 AM

Thu, Feb 25

florian.haftmann committed rISABELLE95937cfe2628: merged.
merged
Thu, Feb 25, 3:54 PM
florian.haftmann committed rISABELLE47616dc81488: repaired document.
repaired document
Thu, Feb 25, 3:54 PM

Wed, Feb 24

paulson committed rISABELLE6cd53ec2e32e: merged.
merged
Wed, Feb 24, 7:42 PM
paulson committed rISABELLEbd61e9477d82: merged.
merged
Wed, Feb 24, 7:42 PM
paulson <lp15@cam.ac.uk> committed rISABELLE915b3d41dec1: A couple of basic lemmas about arg.
A couple of basic lemmas about arg
Wed, Feb 24, 7:42 PM
florian.haftmann committed rAFPf7efb0c6c76f: emphasize connection to multisets.
emphasize connection to multisets
Wed, Feb 24, 7:13 PM
florian.haftmann committed rAFP6137b578dc54: multiset as equivalence class of permuted lists.
multiset as equivalence class of permuted lists
Wed, Feb 24, 7:13 PM