Active Repositories
Active Repositories
- rWEBSITE isabelle-website
- Feb 20 2021, 9:18 PM2021-02-20 21:18:29 (UTC+1)
- Mercurial
Recent Activity
Recent Activity
Yesterday
Yesterday
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPb48d456f9336: merge.
merge
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP70ac843c069d: increased timeout.
increased timeout
collected combinatorial material
collected combinatorial material
Sat, Apr 10
Sat, Apr 10
more documentation;
proper treatment of nested antiquotations;
makarius committed rISABELLE2f6855142a8c: support for ML special forms: modified evaluation similar to Scheme;.
support for ML special forms: modified evaluation similar to Scheme;
makarius committed rISABELLEa2c589d5e1e4: clarified signature: more detailed token positions for antiquotations;.
clarified signature: more detailed token positions for antiquotations;
Fri, Apr 9
Fri, Apr 9
Asta Halkjær From <andro.from@gmail.com> committed rAFP0fa3d918ef8c: Update root.tex.
Update root.tex
Asta Halkjær From <andro.from@gmail.com> committed rAFP285e1cc62c43: Cut out Fitting's consistency properties.
Cut out Fitting's consistency properties
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPcf0a3199f4e7: fixed proof.
fixed proof
Thu, Apr 8
Thu, Apr 8
clarified message, following Isabelle/a7aabdf889b7;
clarified signature;
florian.haftmann committed rAFPc351b9b63b58: confluent preprocessing for floats in presence of target language numerals.
confluent preprocessing for floats in presence of target language numerals
florian.haftmann committed rISABELLE7cb3fefef79e: confluent preprocessing for floats in presence of target language numerals.
confluent preprocessing for floats in presence of target language numerals
subclass relation
Wed, Apr 7
Wed, Apr 7
some tinkering with npm versions;
some tinkering with npm versions;
back to post-release mode;
auto-update due to "isabelle build_vscode";
tuned --- following hints by IntelliJ IDEA;
pruvisto committed rISABELLE56db8559eadb: fixed problematic addition operation in the 'approximation' package (previous….
fixed problematic addition operation in the 'approximation' package (previous…
adapted to isabelle-dev/56db8559eadb
simplified definition
simplified definition
Tue, Apr 6
Tue, Apr 6
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…
Mon, Apr 5
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…
makarius committed rISABELLE543d5539306d: following recent Phabricator update, after 2021 Week 13 (Late March);.
following recent Phabricator update, after 2021 Week 13 (Late March);
Sat, Apr 3
Sat, Apr 3
nipkow committed rAFP9ce1745d994d: Fixes due to new order prover.
Fixes due to new order prover
Fri, Apr 2
Fri, Apr 2
paulson <lp15@cam.ac.uk> committed rISABELLEc89922715bf5: Cosmetic: no !! in the lemma statement.
Cosmetic: no !! in the lemma statement
Thu, Apr 1
Thu, Apr 1