Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (4)

Low (6)

Wishlist (4)

Recent Activity

Today

nipkow committed rISABELLE88880eecd7fe: tuned.
tuned
Fri, Sep 18, 12:34 PM
paulson <lp15@cam.ac.uk> committed rAFPa33da03f735c: fix for the new, simpler power_diff_1_eq.
fix for the new, simpler power_diff_1_eq
Fri, Sep 18, 10:54 AM
paulson <lp15@cam.ac.uk> committed rISABELLE71a8935eb5da: removal of needless premises.
removal of needless premises
Fri, Sep 18, 10:52 AM

Yesterday

paulson committed rISABELLE121b838a0ba8: merged.
merged
Thu, Sep 17, 11:15 PM
paulson <lp15@cam.ac.uk> committed rISABELLE1e02b86eb517: de-applying.
de-applying
Thu, Sep 17, 11:15 PM
Lars Hupel <lars.hupel@mytum.de> committed rAFP210e8c4c943d: fix Inductive_Inference.
fix Inductive_Inference
Thu, Sep 17, 10:08 PM
florian.haftmann committed rAFPefbce6681b7a: dropped junk.
dropped junk
Thu, Sep 17, 2:28 PM
florian.haftmann committed rISABELLEff32ddc8165c: dropped junk.
dropped junk
Thu, Sep 17, 2:28 PM
florian.haftmann committed rISABELLE47253b1a31ed: typo.
typo
Thu, Sep 17, 1:55 PM
florian.haftmann committed rISABELLEc0a552515c29: NEWS and CONTRIBUTORS.
NEWS and CONTRIBUTORS
Thu, Sep 17, 12:06 PM
florian.haftmann committed rISABELLEa282abb07642: integrated generic conversions into word corpse.
integrated generic conversions into word corpse
Thu, Sep 17, 12:04 PM
florian.haftmann committed rISABELLE5193570b739a: more lemmas.
more lemmas
Thu, Sep 17, 12:04 PM
florian.haftmann committed rAFP58bc7e81bc7f: integrated generic conversions into word corpse.
integrated generic conversions into word corpse
Thu, Sep 17, 12:02 PM
florian.haftmann committed rAFP85d5b6c0bb92: adjusted to changes in distribution.
adjusted to changes in distribution
Thu, Sep 17, 12:02 PM
florian.haftmann committed rAFPf682365c61ce: tuned proof.
tuned proof
Thu, Sep 17, 11:37 AM

Tue, Sep 15

paulson <lp15@cam.ac.uk> committed rAFP6d6d59e3f9f1: a tiny bit of beautification.
a tiny bit of beautification
Tue, Sep 15, 5:05 PM
nipkow committed rISABELLEd488d643e677: added lemma.
added lemma
Tue, Sep 15, 8:58 AM

Sun, Sep 13

paulson <lp15@cam.ac.uk> committed rISABELLE25cf074a4188: de-applying.
de-applying
Sun, Sep 13, 5:52 PM

Fri, Sep 11

paulson committed rISABELLE4a7e85560df7: merged.
merged
Fri, Sep 11, 7:57 PM
paulson committed rISABELLEf2b786884815: merged.
merged
Fri, Sep 11, 7:57 PM
paulson <lp15@cam.ac.uk> committed rISABELLE0d1c0b085e5c: cleaned up some messy proofs.
cleaned up some messy proofs
Fri, Sep 11, 7:57 PM
makarius committed rAFP90b7048e6e0a: proper Unix line ending;.
proper Unix line ending;
Fri, Sep 11, 4:32 PM
makarius committed rAFP5d0b5731d5d7: prefer current mathpartir.sty from underlying TeX distribution;.
prefer current mathpartir.sty from underlying TeX distribution;
Fri, Sep 11, 4:32 PM
makarius committed rISABELLEdc51115fa4aa: prefer current mathpartir.sty from underlying TeX distribution;.
prefer current mathpartir.sty from underlying TeX distribution;
Fri, Sep 11, 4:28 PM
makarius committed rISABELLE8c5b8d7999bd: more checks;.
more checks;
Fri, Sep 11, 4:28 PM
makarius committed rISABELLE1b01c626a441: more uniform color --- avoid odd transparency on Windows (due to jEdit default….
more uniform color --- avoid odd transparency on Windows (due to jEdit default…
Fri, Sep 11, 1:17 PM
makarius committed rISABELLE3b17e7688dc6: updated documentation;.
updated documentation;
Fri, Sep 11, 12:37 PM
makarius committed rISABELLEa6587b40399d: tuned documentation;.
tuned documentation;
Fri, Sep 11, 12:37 PM
makarius updated the task description for T23: More compact representation of type instances of term constants.
Fri, Sep 11, 12:34 PM
makarius triaged T23: More compact representation of type instances of term constants as Wishlist priority.
Fri, Sep 11, 12:33 PM

Thu, Sep 10

makarius committed rISABELLE13976f92a2d0: clarified modules;.
clarified modules;
Thu, Sep 10, 9:55 PM
makarius committed rISABELLE4bf8a8a2d2ad: more uniform JVM vs. ML status widget;.
more uniform JVM vs. ML status widget;
Thu, Sep 10, 9:55 PM
makarius committed rISABELLE71378e7d148e: clarified modules;.
clarified modules;
Thu, Sep 10, 9:55 PM

Wed, Sep 9

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> committed rAFPf199a36357f5: update PAC_Checker to latest Isabelle.
update PAC_Checker to latest Isabelle
Wed, Sep 9, 8:39 PM
Sophie Tourret <stourret@mpi-inf.mpg.de> committed rAFPb39b8408a202: saturation framework: tiebreaker lifting locale improvement.
saturation framework: tiebreaker lifting locale improvement
Wed, Sep 9, 10:14 AM

Tue, Sep 8

makarius committed rISABELLEc06260b7152c: update to official jedit-5.6.0;.
update to official jedit-5.6.0;
Tue, Sep 8, 9:46 PM
paulson committed rISABELLE9c6787cfd70e: merged.
merged
Tue, Sep 8, 6:45 PM
paulson <lp15@cam.ac.uk> committed rISABELLEcbe7aa1c2bdc: tidying and de-applying.
tidying and de-applying
Tue, Sep 8, 6:45 PM
Sophie Tourret <stourret@mpi-inf.mpg.de> committed rAFP5d6a17e03f20: merge.
merge
Tue, Sep 8, 2:34 PM
Sophie Tourret <stourret@mpi-inf.mpg.de> committed rAFP9e9d54326ae0: saturation framework: correction of static_to_dynamic lemma statement.
saturation framework: correction of static_to_dynamic lemma statement
Tue, Sep 8, 2:34 PM