Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Yesterday

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPb48d456f9336: merge.
merge
Sun, Apr 11, 10:26 AM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP70ac843c069d: increased timeout.
increased timeout
Sun, Apr 11, 10:26 AM
florian.haftmann committed rAFPbf1f2a489b41: collected combinatorial material.
collected combinatorial material
Sun, Apr 11, 9:45 AM
florian.haftmann committed rISABELLE92783562ab78: collected combinatorial material.
collected combinatorial material
Sun, Apr 11, 9:42 AM

Sat, Apr 10

makarius committed rISABELLEc973b5300025: tuned;.
tuned;
Sat, Apr 10, 8:27 PM
makarius committed rISABELLEb35ef8162807: tuned;.
tuned;
Sat, Apr 10, 8:27 PM
makarius committed rISABELLE08bef311d382: more documentation;.
more documentation;
Sat, Apr 10, 3:36 PM
makarius committed rISABELLE53c148e39819: proper treatment of nested antiquotations;.
proper treatment of nested antiquotations;
Sat, Apr 10, 3:36 PM
makarius committed rISABELLE2f6855142a8c: support for ML special forms: modified evaluation similar to Scheme;.
support for ML special forms: modified evaluation similar to Scheme;
Sat, Apr 10, 3:36 PM
makarius committed rISABELLEa2c589d5e1e4: clarified signature: more detailed token positions for antiquotations;.
clarified signature: more detailed token positions for antiquotations;
Sat, Apr 10, 3:36 PM

Fri, Apr 9

Asta Halkjær From <andro.from@gmail.com> committed rAFP0fa3d918ef8c: Update root.tex.
Update root.tex
Fri, Apr 9, 11:47 AM
Asta Halkjær From <andro.from@gmail.com> committed rAFP285e1cc62c43: Cut out Fitting's consistency properties.
Cut out Fitting's consistency properties
Fri, Apr 9, 11:36 AM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPcf0a3199f4e7: fixed proof.
fixed proof
Fri, Apr 9, 10:57 AM

Thu, Apr 8

makarius committed rAFP107ecc8216a8: clarified message, following Isabelle/a7aabdf889b7;.
clarified message, following Isabelle/a7aabdf889b7;
Thu, Apr 8, 9:09 PM
makarius committed rISABELLEc54a9395ad96: merged.
merged
Thu, Apr 8, 9:08 PM
makarius committed rISABELLEa7aabdf889b7: clarified signature;.
clarified signature;
Thu, Apr 8, 9:08 PM
florian.haftmann committed rAFPc351b9b63b58: confluent preprocessing for floats in presence of target language numerals.
confluent preprocessing for floats in presence of target language numerals
Thu, Apr 8, 4:30 PM
florian.haftmann committed rISABELLE7cb3fefef79e: confluent preprocessing for floats in presence of target language numerals.
confluent preprocessing for floats in presence of target language numerals
Thu, Apr 8, 4:30 PM
florian.haftmann committed rISABELLEfc72e5ebf9de: subclass relation.
subclass relation
Thu, Apr 8, 2:23 PM
florian.haftmann committed rAFPb3ff22dfc82d: subclass relation.
subclass relation
Thu, Apr 8, 2:22 PM

Wed, Apr 7

makarius committed rISABELLE79761915770c: some tinkering with npm versions;.
some tinkering with npm versions;
Wed, Apr 7, 10:34 PM
makarius committed rISABELLEf8c6c45cb112: some tinkering with npm versions;.
some tinkering with npm versions;
Wed, Apr 7, 10:34 PM
makarius committed rISABELLEe4fde6b3e09a: back to post-release mode;.
back to post-release mode;
Wed, Apr 7, 10:34 PM
makarius committed rISABELLE1240abf2e3f5: tuned signature;.
tuned signature;
Wed, Apr 7, 10:34 PM
makarius committed rISABELLEf800f8becbfb: tuned;.
tuned;
Wed, Apr 7, 10:34 PM
makarius committed rISABELLEa69197959ab6: auto-update due to "isabelle build_vscode";.
auto-update due to "isabelle build_vscode";
Wed, Apr 7, 10:34 PM
makarius committed rISABELLE80db0d2759b5: tuned --- following hints by IntelliJ IDEA;.
tuned --- following hints by IntelliJ IDEA;
Wed, Apr 7, 10:34 PM
pruvisto committed rISABELLE56db8559eadb: fixed problematic addition operation in the 'approximation' package (previous….
fixed problematic addition operation in the 'approximation' package (previous…
Wed, Apr 7, 5:31 PM
pruvisto committed rAFPc81dd066bd29: adapted to isabelle-dev/56db8559eadb.
adapted to isabelle-dev/56db8559eadb
Wed, Apr 7, 5:31 PM
florian.haftmann committed rISABELLE5131c388a9b0: simplified definition.
simplified definition
Wed, Apr 7, 5:02 PM
florian.haftmann committed rAFPeb11506f9cf9: simplified definition.
simplified definition
Wed, Apr 7, 5:02 PM

Tue, Apr 6

florian.haftmann committed rISABELLE0f33c7031ec9: new lemmas.
new lemmas
Tue, Apr 6, 8:39 PM
florian.haftmann committed rAFP63ca4e334ffc: new lemmas.
new lemmas
Tue, Apr 6, 8:38 PM
nipkow committed rAFPd552c27edab9: probable fix suggested by Cornelius for the changes in the vicinity of….
probable fix suggested by Cornelius for the changes in the vicinity of…
Tue, Apr 6, 10:15 AM

Mon, Apr 5

makarius committed rISABELLEe7fb17bca374: discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog….
discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog…
Mon, Apr 5, 11:03 PM
makarius committed rISABELLE543d5539306d: following recent Phabricator update, after 2021 Week 13 (Late March);.
following recent Phabricator update, after 2021 Week 13 (Late March);
Mon, Apr 5, 11:03 PM

Sat, Apr 3

nipkow committed rAFP9ce1745d994d: Fixes due to new order prover.
Fixes due to new order prover
Sat, Apr 3, 2:19 PM

Fri, Apr 2

paulson committed rISABELLE5fa2e2786ecf: merged.
merged
Fri, Apr 2, 1:44 PM
paulson <lp15@cam.ac.uk> committed rISABELLEc89922715bf5: Cosmetic: no !! in the lemma statement.
Cosmetic: no !! in the lemma statement
Fri, Apr 2, 1:44 PM

Thu, Apr 1

makarius committed rISABELLE89cf7c903aca: clarified README;.
clarified README;
Thu, Apr 1, 7:41 PM