Page MenuHomeIsabelle/Phabricator
Feed All Stories

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
makarius committed rISABELLEcf1a1e92bf34: more standard header, with utf-8 encoding;.
more standard header, with utf-8 encoding;
Thu, Apr 1, 7:41 PM
makarius committed rISABELLEc337c798f64c: clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;.
clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
Thu, Apr 1, 7:41 PM
paulson <lp15@cam.ac.uk> committed rAFP589a6dadfa84: another broken proof.
another broken proof
Thu, Apr 1, 3:11 PM
paulson <lp15@cam.ac.uk> committed rAFP3b2637ae2d8c: Fixed and simplified some failing proofs.
Fixed and simplified some failing proofs
Thu, Apr 1, 11:52 AM
nipkow committed rISABELLEc72fd8f1fceb: merged.
merged
Thu, Apr 1, 7:35 AM
nipkow committed rISABELLEa3cc9fa1295d: new automatic order prover: stateless, complete, verified.
new automatic order prover: stateless, complete, verified
Thu, Apr 1, 7:35 AM

Wed, Mar 31

makarius committed rISABELLE419edc7f3726: clarified signature;.
clarified signature;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLEc52d819499a1: clarified: follow "isabelle version -t";.
clarified: follow "isabelle version -t";
Wed, Mar 31, 11:50 PM
makarius committed rISABELLE2cd23d587db9: further clarification of Isabelle distribution identification -- avoid odd….
further clarification of Isabelle distribution identification -- avoid odd…
Wed, Mar 31, 11:50 PM
makarius committed rISABELLEa6ca869af096: more robust and uniform ISABELLE_TAGS;.
more robust and uniform ISABELLE_TAGS;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLEb219774a71ae: tuned signature -- more explicit types;.
tuned signature -- more explicit types;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLE8f485a199874: simplified release status (again), in contrast to a43898f76ae9;.
simplified release status (again), in contrast to a43898f76ae9;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLE4cba4e250c28: clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;.
clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLEc42144d9dde6: more uniform HTTP resources;.
more uniform HTTP resources;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLEd3f2038198ae: clarified (again): local tip could be actually more recent;.
clarified (again): local tip could be actually more recent;
Wed, Mar 31, 11:37 AM
makarius committed rISABELLEef5440f4fcc4: tuned;.
tuned;
Wed, Mar 31, 11:37 AM
makarius committed rISABELLEae5fa3ca41b9: tuned;.
tuned;
Wed, Mar 31, 11:37 AM
makarius committed rISABELLE01acd0eb29ce: clarified name;.
clarified name;
Wed, Mar 31, 11:37 AM
makarius committed rISABELLEb7bb665fe850: more systematic java_library: avoid empty entries, declaration order as for….
more systematic java_library: avoid empty entries, declaration order as for…
Wed, Mar 31, 11:37 AM
paulson <lp15@cam.ac.uk> committed rAFP34dff8ee061c: Writing less_sets as an infix.
Writing less_sets as an infix
Wed, Mar 31, 12:23 AM

Tue, Mar 30

makarius committed rISABELLEe52a9b208481: support sequential LaTeX jobs: more robust when TeX installation is self….
support sequential LaTeX jobs: more robust when TeX installation is self…
Tue, Mar 30, 8:53 PM
makarius committed rAFP3f8b18dd1a65: avoid symblinks --- make it work on Windows;.
avoid symblinks --- make it work on Windows;
Tue, Mar 30, 8:28 PM
paulson <lp15@cam.ac.uk> committed rAFPb64d3bdac4d9: Fixed some looping proofs (though why they were looping isn't clear).
Fixed some looping proofs (though why they were looping isn't clear)
Tue, Mar 30, 12:37 PM
makarius added a comment to rISABELLE2cdbb6a2f2a7: updated to latest latex due to new mechanism for dealing with bold ccfonts.

See also https://www.texfaq.org/FAQ-concrete

Tue, Mar 30, 11:46 AM
nipkow committed rISABELLE2cdbb6a2f2a7: updated to latest latex due to new mechanism for dealing with bold ccfonts.
updated to latest latex due to new mechanism for dealing with bold ccfonts
Tue, Mar 30, 9:43 AM

Mon, Mar 29

paulson <lp15@cam.ac.uk> committed rAFP74dd55b9ef33: Fixed a failing proof.
Fixed a failing proof
Mon, Mar 29, 10:13 PM
paulson <lp15@cam.ac.uk> committed rAFP86e8a4b1fb58: fixes for new hd_rev and last_rev.
fixes for new hd_rev and last_rev
Mon, Mar 29, 7:33 PM
paulson committed rAFPdc35057aa54f: merged.
merged
Mon, Mar 29, 7:33 PM
paulson <lp15@cam.ac.uk> committed rISABELLEc526eb2c7ca0: removal of needless hypothesis in hd_rev and last_rev.
removal of needless hypothesis in hd_rev and last_rev
Mon, Mar 29, 7:33 PM
kleing committed rAFP693ae1ce0d54: merge from afp-2021.
merge from afp-2021
Mon, Mar 29, 8:40 AM
paulson committed rAFPae4ec73674cd: merged.
merged
Mon, Mar 29, 8:40 AM
paulson <lp15@cam.ac.uk> committed rAFPe928ad3a61c3: Infix notation for the less_sets relation.
Infix notation for the less_sets relation
Mon, Mar 29, 8:40 AM
paulson <lp15@cam.ac.uk> committed rAFPa1f0a543602e: simplified a few proofs.
simplified a few proofs
Mon, Mar 29, 8:40 AM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP92bb16b93fd2: sitegen and metadata for Constructive_Cryptography_CM.
sitegen and metadata for Constructive_Cryptography_CM
Mon, Mar 29, 8:40 AM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP680fb435498b: new entry Constructive_Cryptography_CM.
new entry Constructive_Cryptography_CM
Mon, Mar 29, 8:40 AM

Sun, Mar 28

makarius committed rISABELLE5d750df8e894: more robust;.
more robust;
Sun, Mar 28, 12:24 PM
makarius committed rISABELLE001097314d09: clarified message;.
clarified message;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLE2592a661ddc9: tuned;.
tuned;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEa35b2ee3148f: proper export;.
proper export;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEd34033a93711: tuned message;.
tuned message;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEc259c7a42ac3: more options: build is part of default setup;.
more options: build is part of default setup;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEeda1d95ef538: misc tuning and clarification;.
misc tuning and clarification;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEc582bf975a5b: more options;.
more options;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEf026a9a0a43f: proper Admin script, outside the settings environment;.
proper Admin script, outside the settings environment;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEa33e5298aee6: tuned whitespace;.
tuned whitespace;
Sun, Mar 28, 12:15 PM

Sat, Mar 27

makarius committed rISABELLE53626e34d1ca: tuned;.
tuned;
Sat, Mar 27, 11:04 PM
makarius committed rISABELLEf5e9ade80579: clarified;.
clarified;
Sat, Mar 27, 11:00 PM
makarius committed rISABELLE7cdcf131699d: tuned message;.
tuned message;
Sat, Mar 27, 10:53 PM
makarius committed rISABELLE2d00ea4972d7: tuned message;.
tuned message;
Sat, Mar 27, 10:53 PM
makarius committed rISABELLE6365c1b7ac10: more accurate settings after update of current version;.
more accurate settings after update of current version;
Sat, Mar 27, 10:36 PM
makarius committed rISABELLEe16133a05458: clarified messages;.
clarified messages;
Sat, Mar 27, 10:33 PM
makarius committed rISABELLE827f53095f1c: more robust: lest hg work out remote tip;.
more robust: lest hg work out remote tip;
Sat, Mar 27, 10:21 PM
makarius committed rISABELLE8c93418ea257: more options;.
more options;
Sat, Mar 27, 10:21 PM
makarius committed rISABELLEdbe5bbc2331e: clarified treatment of multiple versions: last one counts;.
clarified treatment of multiple versions: last one counts;
Sat, Mar 27, 10:21 PM
makarius committed rISABELLEd31d229eb8df: more robust;.
more robust;
Sat, Mar 27, 8:53 PM
makarius committed rISABELLE9460f1f45405: more robust: explicit repository root;.
more robust: explicit repository root;
Sat, Mar 27, 8:50 PM
makarius committed rISABELLE97692af929a4: more robust;.
more robust;
Sat, Mar 27, 8:50 PM
makarius committed rISABELLE47f055b40ab9: more convenient repository setup;.
more convenient repository setup;
Sat, Mar 27, 8:50 PM
makarius committed rISABELLE3cbf041f544a: more robust invocation of hg;.
more robust invocation of hg;
Sat, Mar 27, 8:50 PM
makarius committed rISABELLE1a6637572b70: tuned;.
tuned;
Sat, Mar 27, 8:50 PM