Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Today

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

Yesterday

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
florian.haftmann committed rISABELLEbfe92e4f6ea4: multiset as equivalence class of permuted lists.
multiset as equivalence class of permuted lists
Wed, Feb 24, 7:12 PM
florian.haftmann committed rISABELLEc52c5a5bf4e6: emphasize connection to multisets.
emphasize connection to multisets
Wed, Feb 24, 7:12 PM
makarius committed rISABELLE43ce3b8a25ee: proper "latest" tag, otherwise the default pull command from https://hub.docker..
proper "latest" tag, otherwise the default pull command from https://hub.docker.
Wed, Feb 24, 6:56 PM

Tue, Feb 23

Susannah Mansky <susannahej@gmail.com> committed rAFP3b6c0a05c5cf: Updating Jinja from apply-style to Isar-style.
Updating Jinja from apply-style to Isar-style
Tue, Feb 23, 11:40 PM
makarius committed rISABELLE637e3e85cd6f: more on Isabelle_System.bash;.
more on Isabelle_System.bash;
Tue, Feb 23, 11:00 PM
florian.haftmann committed rAFP5c7a3b0533b3: more specific name.
more specific name
Tue, Feb 23, 10:04 PM
florian.haftmann committed rISABELLEbeaff25452d2: more specific name.
more specific name
Tue, Feb 23, 10:03 PM
florian.haftmann committed rISABELLE2ac92ba88d6b: more lemmas.
more lemmas
Tue, Feb 23, 10:03 PM
florian.haftmann committed rISABELLE6c4c37a3ebec: dropped obscure FIXME.
dropped obscure FIXME
Tue, Feb 23, 10:03 PM
desharna committed rISABELLEf0210642e43f: proper usage of hypotheses for zipperposition's TPTP generation.
proper usage of hypotheses for zipperposition's TPTP generation
Tue, Feb 23, 12:38 PM
desharna committed rISABELLE8b6fa865bac4: merged.
merged
Tue, Feb 23, 12:00 PM
desharna committed rISABELLEf84a93f1de2f: tuned Mirabelle to parse option check_trivial only once.
tuned Mirabelle to parse option check_trivial only once
Tue, Feb 23, 12:00 PM
desharna committed rISABELLEefeebcfaef85: merged.
merged
Tue, Feb 23, 12:00 PM
desharna committed rISABELLEdcf295994c90: merged.
merged
Tue, Feb 23, 12:00 PM
desharna committed rISABELLEa34b49841585: added stride option to Mirabelle.
added stride option to Mirabelle
Tue, Feb 23, 12:00 PM
desharna committed rISABELLEf6f1242ed367: proper prover capabilities for zipperposition.
proper prover capabilities for zipperposition
Tue, Feb 23, 12:00 PM
makarius created Blog Post: External bash processes are always managed by Isabelle/Scala.
Tue, Feb 23, 12:13 AM