Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

Dominique Unruh <unruh@ut.ee> committed rAFP1145c2ed8f6c: Many changes to entry `Complex_Bounded_Operators`:.
Many changes to entry `Complex_Bounded_Operators`:
Mon, Oct 3, 1:12 PM

Sun, Oct 2

makarius updated the post content for Blog Post: Release Candidates for Isabelle2022.
Sun, Oct 2, 8:19 PM · isabelle-release
makarius committed rISABELLE6ab4bb7cb8b2: back to post-release mode -- after fork point;.
back to post-release mode -- after fork point;
Sun, Oct 2, 7:53 PM
makarius committed rISABELLE02c1ffc23d95: Added tag Isabelle2022-RC3 for changeset d704efeb01db.
Added tag Isabelle2022-RC3 for changeset d704efeb01db
Sun, Oct 2, 7:53 PM
makarius committed rISABELLEaa6ce2e51e6c: proper base names;.
proper base names;
Sun, Oct 2, 5:27 PM
makarius committed rISABELLEd704efeb01db: proper cygwin component (see d042947e47a3).
proper cygwin component (see d042947e47a3)
Sun, Oct 2, 5:27 PM
makarius committed rISABELLE30d43e9b2077: suppress command echo in output;.
suppress command echo in output;
Sun, Oct 2, 5:27 PM
makarius committed rISABELLEd042947e47a3: include openssh for rsync (see also a1c7829ac2de);.
include openssh for rsync (see also a1c7829ac2de);
Sun, Oct 2, 5:27 PM
makarius committed rISABELLE2a052820523d: provide naproche-20221002;.
provide naproche-20221002;
Sun, Oct 2, 5:27 PM

Sat, Oct 1

makarius committed rISABELLE0a44395a25f0: merged.
merged
Sat, Oct 1, 10:26 PM
makarius committed rISABELLE03dd2f19f1d7: clarified signature: more operations;.
clarified signature: more operations;
Sat, Oct 1, 10:26 PM
makarius committed rISABELLE16c12979c132: tuned signature;.
tuned signature;
Sat, Oct 1, 10:26 PM
makarius committed rISABELLE035ffcd82fb2: tuned, following hints by IntelliJ IDEA;.
tuned, following hints by IntelliJ IDEA;
Sat, Oct 1, 10:26 PM
makarius committed rISABELLEf3b23f4eaaac: clarified signature, to support external tools like "isabelle narration";.
clarified signature, to support external tools like "isabelle narration";
Sat, Oct 1, 10:26 PM
florian.haftmann committed rISABELLEa7ccb744047b: syntactic type classes for signed division operators.
syntactic type classes for signed division operators
Sat, Oct 1, 5:53 PM
florian.haftmann committed rAFPa74db29363f5: tuned proofs.
tuned proofs
Sat, Oct 1, 3:08 PM
florian.haftmann committed rISABELLE8a48e18f081e: reduce prominence of facts.
reduce prominence of facts
Sat, Oct 1, 3:08 PM
kleing committed rAFP6100f6dbbfed: merge from afp-2021-1.
merge from afp-2021-1
Sat, Oct 1, 11:14 AM
kleing committed rAFP2482f4650245: new entry Undirected_Graph_Theory.
new entry Undirected_Graph_Theory
Sat, Oct 1, 11:14 AM
nipkow committed rAFPa791f4f48a75: New entry: Maximum_Segment_Sum.
New entry: Maximum_Segment_Sum
Sat, Oct 1, 11:14 AM
nipkow committed rAFP8dd014d07166: typo.
typo
Sat, Oct 1, 11:14 AM
nipkow committed rAFP21836ba5b3e6: typo.
typo
Sat, Oct 1, 11:14 AM
Fabian Huch <huch@in.tum.de> committed rAFP549a8c591678: regenerate site;.
regenerate site;
Sat, Oct 1, 11:14 AM
nipkow committed rAFP25d277910e1a: added missing file.
added missing file
Sat, Oct 1, 11:14 AM
Fabian Huch <huch@in.tum.de> committed rAFP811ba4df645d: added topic for data management systems;.
added topic for data management systems;
Sat, Oct 1, 11:14 AM
nipkow committed rAFPd4348f7b41ae: New entry Safe_Range_RC.
New entry Safe_Range_RC
Sat, Oct 1, 11:14 AM

Fri, Sep 30

makarius committed rISABELLEfc19de122712: clarified signature;.
clarified signature;
Fri, Sep 30, 9:38 PM
makarius committed rISABELLE6ee5306d143a: more explanations on the new order prover (based on 10945fc183cd), without….
more explanations on the new order prover (based on 10945fc183cd), without…
Fri, Sep 30, 7:46 PM
makarius committed rISABELLE3c46356d241f: restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;.
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
Fri, Sep 30, 7:46 PM
lukasstevens committed rISABELLE10945fc183cd: added documentation about new order prover.
added documentation about new order prover
Fri, Sep 30, 12:44 PM
lukasstevens committed rISABELLE2aad8698f82f: tweaked.
tweaked
Fri, Sep 30, 12:44 PM
Fabian Huch <huch@in.tum.de> committed rISABELLEfb2be77a7819: tweaked;.
tweaked;
Fri, Sep 30, 9:28 AM

Thu, Sep 29

Fabian Huch <huch@in.tum.de> committed rAFP56381425e759: adjust Stalnaker_Logic to changes in Epistemic_Logic;.
adjust Stalnaker_Logic to changes in Epistemic_Logic;
Thu, Sep 29, 6:03 PM
florian.haftmann committed rAFP474696083e43: adjusted to distribution.
adjusted to distribution
Thu, Sep 29, 4:17 PM
florian.haftmann committed rISABELLE64e8d4afcf10: moved relevant theorems from theory Divides to theory Euclidean_Division.
moved relevant theorems from theory Divides to theory Euclidean_Division
Thu, Sep 29, 4:16 PM
Fabian Huch <huch@in.tum.de> committed rAFP6fce8550ee97: remove duplicate code;.
remove duplicate code;
Thu, Sep 29, 3:53 PM
Fabian Huch <huch@in.tum.de> committed rISABELLEbe91db94e526: amend jenkins ci build;.
amend jenkins ci build;
Thu, Sep 29, 2:16 PM
Fabian Huch <huch@in.tum.de> committed rISABELLE3c4e373922ca: restructured ci profile into modular ci build system;.
restructured ci profile into modular ci build system;
Thu, Sep 29, 2:09 PM
Fabian Huch <huch@in.tum.de> committed rAFP4c631c22d1d2: restructure afp ci builds (see Isabelle/3c4e373922ca).
restructure afp ci builds (see Isabelle/3c4e373922ca)
Thu, Sep 29, 2:08 PM

Wed, Sep 28

paulson <lp15@cam.ac.uk> committed rISABELLE1f2e78b7df93: more structured proofs.
more structured proofs
Wed, Sep 28, 8:15 PM