Page MenuHomeIsabelle/Phabricator

Active Repositories

Recent Activity

Today

florian.haftmann committed rAFP59470eb9f5ab: sorted out lemmas.
sorted out lemmas
Sat, Dec 5, 11:12 AM
Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFP64ea6f2d9e8c: Relational_Paths: minor edit, now uses HOL-Hoare.
Relational_Paths: minor edit, now uses HOL-Hoare
Sat, Dec 5, 4:28 AM

Yesterday

peter_lammich committed rISABELLEb09f358f3eb0: merged.
merged
Fri, Dec 4, 6:55 PM
peter_lammich committed rISABELLEcaf2fd14e28b: removed session name.
removed session name
Fri, Dec 4, 6:55 PM
nipkow committed rISABELLEef21a1de340d: merged.
merged
Fri, Dec 4, 6:30 PM
nipkow committed rISABELLEb00ee476151b: NEWS.
NEWS
Fri, Dec 4, 6:30 PM
peter_lammich committed rISABELLE64d8a7e6d8fa: merged.
merged
Fri, Dec 4, 6:21 PM
peter_lammich committed rISABELLEba65dc3e35af: summarized structural and ordering invariant for trees.
summarized structural and ordering invariant for trees
Fri, Dec 4, 6:21 PM
nipkow committed rAFP1998678fe699: adapted to devel.
adapted to devel
Fri, Dec 4, 5:48 PM
nipkow committed rISABELLEea189da0ff60: Total correctness examples by Walter Guttmann.
Total correctness examples by Walter Guttmann
Fri, Dec 4, 5:45 PM
nipkow committed rISABELLE4fa08e083865: Extension of session HOL/Hoare with total correctness proof system by Walter….
Extension of session HOL/Hoare with total correctness proof system by Walter…
Fri, Dec 4, 5:45 PM
nipkow committed rISABELLE976d656ed31e: tuned.
tuned
Fri, Dec 4, 1:25 PM
makarius claimed T34: Update component for Vampire.
Fri, Dec 4, 12:43 PM · provers, isabelle-release
makarius triaged T34: Update component for Vampire as Normal priority.
Fri, Dec 4, 12:43 PM · provers, isabelle-release

Thu, Dec 3

ballarin committed rISABELLEd7393c35aa5d: Highlight that 'intro_locales' and 'trace_locales' are useful debug features….
Highlight that 'intro_locales' and 'trace_locales' are useful debug features…
Thu, Dec 3, 11:04 PM

Wed, Dec 2

Sophie Tourret <stourret@mpi-inf.mpg.de> committed rAFP074cac8ca43a: Saturation Framework: minor fixes.
Saturation Framework: minor fixes
Wed, Dec 2, 11:32 AM
nipkow committed rISABELLE83c6d29a2412: merged.
merged
Wed, Dec 2, 10:31 AM
nipkow committed rISABELLE9bd2ed5e83f3: added abbrev.
added abbrev
Wed, Dec 2, 10:31 AM

Tue, Dec 1

makarius committed rISABELLE51683cd9d7fa: merged.
merged
Tue, Dec 1, 9:13 PM
makarius committed rISABELLE5dc7165e8a26: clarified signature;.
clarified signature;
Tue, Dec 1, 9:13 PM
makarius committed rISABELLE85bcdd05c6d0: clarified signature --- more positions;.
clarified signature --- more positions;
Tue, Dec 1, 9:13 PM
makarius committed rAFPbcbda9a982dc: more generous timeout;.
more generous timeout;
Tue, Dec 1, 4:42 PM
makarius committed rAFP5d155a850a33: more generous timeout;.
more generous timeout;
Tue, Dec 1, 4:42 PM
makarius committed rAFP47cff1c3c5c9: redundant;.
redundant;
Tue, Dec 1, 4:42 PM
makarius committed rAFPf59bb635da5b: more generous timeout;.
more generous timeout;
Tue, Dec 1, 4:42 PM
desharna committed rISABELLEe732c98b02e6: tuned proof preplay to explicitly refer to Z3 backend.
tuned proof preplay to explicitly refer to Z3 backend
Tue, Dec 1, 3:30 PM

Mon, Nov 30

paulson <lp15@cam.ac.uk> committed rISABELLE402afc68f2f9: A bunch of suggestions from Pedro Sánchez Terraf.
A bunch of suggestions from Pedro Sánchez Terraf
Mon, Nov 30, 11:01 PM
paulson committed rISABELLEf7bc71ab19db: merged.
merged
Mon, Nov 30, 11:01 PM
paulson committed rISABELLEd39a32cff5d7: merged.
merged
Mon, Nov 30, 11:01 PM
paulson <lp15@cam.ac.uk> committed rISABELLE3757e64e75bb: tweaked.
tweaked
Mon, Nov 30, 11:01 PM
blanchette committed rAFP391fd487234d: renamed confusingly named predicate.
renamed confusingly named predicate
Mon, Nov 30, 8:08 PM
makarius committed rISABELLE35d200023993: obsolete -- done by Isabelle/PIDE/ML;.
obsolete -- done by Isabelle/PIDE/ML;
Mon, Nov 30, 7:09 PM
makarius committed rISABELLE26492b600d78: tuned whitespace --- avoid TABs;.
tuned whitespace --- avoid TABs;
Mon, Nov 30, 6:37 PM
makarius committed rISABELLE427b18abf925: updated to postgresql-42.2.18;.
updated to postgresql-42.2.18;
Mon, Nov 30, 6:37 PM
makarius committed rISABELLEb79755daf0ad: updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;.
updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
Mon, Nov 30, 6:37 PM
makarius committed rISABELLE935f028d5f44: updated to jfreechart-1.5.1;.
updated to jfreechart-1.5.1;
Mon, Nov 30, 6:37 PM
makarius committed rISABELLE146e3f9bb5e7: updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020;.
updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020;
Mon, Nov 30, 6:37 PM
makarius triaged T33: Update to jdk-11.0.10, notably for macOS Big Sur as Normal priority.
Mon, Nov 30, 3:08 PM · isabelle-release
makarius committed rISABELLE979c648ac814: Added tag Isabelle2021-RC0 for changeset 21ff9c1a4644.
Added tag Isabelle2021-RC0 for changeset 21ff9c1a4644
Mon, Nov 30, 1:20 PM
makarius added a comment to T32: Odd font rendering problem with jdk-11.0.9 on Windows.

Is Isabelle/21ff9c1a4644 good enough?

Mon, Nov 30, 1:17 PM · isabelle-release