- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Feb 28 2020
Feb 28 2020
makarius committed rISABELLEa296d3697e50: updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);.
updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1);
updated for release;
Asta Halkjær From <s144442@student.dtu.dk> committed rAFPb8e1eebb4b17: merge.
merge
Asta Halkjær From <s144442@student.dtu.dk> committed rAFPf5a944f4cf54: Add inputenc.
Add inputenc
Feb 27 2020
Feb 27 2020
dcjm committed rPOLYML6025c250b4f1: Change Posix.Process.exit to use the same underlying call as OS.Process. (authored by dcjm).
Change Posix.Process.exit to use the same underlying call as OS.Process.
dcjm committed rPOLYML744d14ffd49b: Fix bug found by Makarius in generated code. It seems to have been introduced… (authored by dcjm).
Fix bug found by Makarius in generated code. It seems to have been introduced…
more complete signature;
more complete signature;
clarified versions -- more reproducible build;
Feb 26 2020
Feb 26 2020
updated for release;
updated for release;
See Isabelle/be84312a2d53 to Isabelle/aa7b0a5e9fe3
updated for release;
makarius committed rISABELLE6aa2dc263912: less ambitious preview: discontinued preview-update / preview-source which did….
less ambitious preview: discontinued preview-update / preview-source which did…
misc tuning and clarification;
makarius committed rISABELLEecefde4f9103: proper message passing -- discontinued obsolete auxiliary commands;.
proper message passing -- discontinued obsolete auxiliary commands;
removed duplicate (amending 5763d9a2f47d, 5aa9cb83e70e);
makarius committed rISABELLEbe84312a2d53: update to WebviewPanel API, following initial version by Peter Zeller;.
update to WebviewPanel API, following initial version by Peter Zeller;
paulson <lp15@cam.ac.uk> committed rISABELLEc213d067e60f: Moved a number of general-purpose lemmas into HOL.
Moved a number of general-purpose lemmas into HOL
Julian Brunner <julianbrunner@gmail.com> committed rAFP27ea89db8cd6: continued working on automata tool and benchmarks.
continued working on automata tool and benchmarks
Feb 25 2020
Feb 25 2020
makarius committed rISABELLEc06604896c3d: more robust shutdown while Isabelle_Process is starting up, e.g. quit after….
more robust shutdown while Isabelle_Process is starting up, e.g. quit after…
Feb 24 2020
Feb 24 2020
traytel committed rISABELLEd7ef73df3d15: lift BNF witnesses for quotients (unless better ones are specified by the user).
lift BNF witnesses for quotients (unless better ones are specified by the user)
makarius committed rISABELLE53fcbede7bf7: more robust (amending add9a9f6a290): proper syntax error instead of exception….
more robust (amending add9a9f6a290): proper syntax error instead of exception…
nipkow committed rISABELLEac70b63785bb: tuned var names (avoid h).
tuned var names (avoid h)
makarius committed rISABELLE910a081cca74: more position information for oracles (e.g. "skip_proof" for 'sorry'), requires….
more position information for oracles (e.g. "skip_proof" for 'sorry'), requires…
paulson <lp15@cam.ac.uk> committed rAFP89ba7ebaf43f: New and/or strengthened lemmas.
New and/or strengthened lemmas
paulson <lp15@cam.ac.uk> committed rISABELLE4a04b6bd628b: a few new lemmas.
a few new lemmas
Feb 23 2020
Feb 23 2020
"Eugene W. Stark <stark@cs.stonybrook.edu>" committed rAFP76aa4d49a895: Demote some simps that were not pulling their weight..
Demote some simps that were not pulling their weight.
"Eugene W. Stark <stark@cs.stonybrook.edu>" committed rAFP4b4d09cb8a4c: Tweaks, mostly in search of speedup..
Tweaks, mostly in search of speedup.
Feb 21 2020
Feb 21 2020
Feb 20 2020
Feb 20 2020
traytel committed rISABELLE5e25a693c5cf: additional lemmas about alw and suntil (by Michael Foster).
additional lemmas about alw and suntil (by Michael Foster)
Feb 19 2020
Feb 19 2020
makarius committed rISABELLE8f628d216ea1: proper print mode for function_space notation (amending d68b705719ce);.
proper print mode for function_space notation (amending d68b705719ce);
proper file name (amending ce3409dfb18c);
Feb 18 2020
Feb 18 2020
makarius renamed T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow from Evaluate https://discourse.org as replacement for mailman, stackoverflow, zulip to Evaluate https://discourse.org as replacement for mailman, stackoverflow.
makarius committed rISABELLE09c850e82258: more robust pretty printing of broken YXML, e.g. single "\^E";.
more robust pretty printing of broken YXML, e.g. single "\^E";
Julian Brunner <julianbrunner@gmail.com> committed rAFP2d4667e525c2: merged.
merged
Julian Brunner <julianbrunner@gmail.com> committed rAFPcd0b90f7688d: added equivalence and automata tool.
added equivalence and automata tool
Julian Brunner <julianbrunner@gmail.com> committed rAFP6119bf12038f: streamlined NBA translation.
streamlined NBA translation
make Poincare_Disc build on Complex_Geometry
pruvisto committed rAFPc35f8cc3dda7: repaired broken proofs in Skip_Lists; removed unfinished experimental thy file.
repaired broken proofs in Skip_Lists; removed unfinished experimental thy file
lukasstevens added a comment to T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.
Zulipchat (https://zulipchat.com/) is a chat service that has an interactive eMail-like threading model. Content is formatted in markdown complete with code formatting and more. With its filter mechanisms, one can easily concentrate on single threads or mute threads that one is no longer interested in. Since Zulipchat is open-source, it is possible to self-host it and use a variety of authentication schemes (https://zulip.readthedocs.io/en/stable/production/authentication-methods.html).
Feb 17 2020
Feb 17 2020
makarius committed rISABELLEb2c9f94e025f: proper sort constraints for strip_shyps, for sort relations used in….
proper sort constraints for strip_shyps, for sort relations used in…
paulson <lp15@cam.ac.uk> committed rAFP29f2271f9455: a few new lemmas.
a few new lemmas
paulson <lp15@cam.ac.uk> committed rISABELLE9edb7fb69bc2: a few new lemmas.
a few new lemmas
Julian Brunner <julianbrunner@gmail.com> committed rAFPc9a73112a393: updated root file.
updated root file
Julian Brunner <julianbrunner@gmail.com> committed rAFP06bb4c12bc7b: refactoring.
refactoring
Feb 16 2020
Feb 16 2020
lemmas about "card A = 2"; prefer iff to implications
makarius committed rISABELLE439410bf4519: proper sort constraints for strip_shyps, which implicitly performs type….
proper sort constraints for strip_shyps, which implicitly performs type…
Feb 15 2020
Feb 15 2020
"Eugene W. Stark <stark@cs.stonybrook.edu>" committed rAFPecd9de819957: Update change history..
Update change history.
"Eugene W. Stark <stark@cs.stonybrook.edu>" committed rAFPa51840d36867: Move ConcreteCategory.thy from Bicategory to Category3 and use it….
Move ConcreteCategory.thy from Bicategory to Category3 and use it…
Feb 14 2020
Feb 14 2020
Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8
Following Isabelle/8b0b8b9ea653, Mercurial 3.9.2 from 23-Sep-2016 is fine for now:
sitegen for Arith_Prog_Rel_Primes
nipkow committed rAFP6303a7ad1291: New entry Subset_Boolean_Algebras.
New entry Subset_Boolean_Algebras
new entry Arith_Prog_Rel_Primes
paulson <lp15@cam.ac.uk> committed rAFP11ff77e058c4: webpage for Mersenne_Primes.
webpage for Mersenne_Primes
added new entries: Complex_Geometry and Poincare_Disc
paulson <lp15@cam.ac.uk> committed rAFPcd30610ccf05: new entry Mersenne_Primes.
new entry Mersenne_Primes
fixed incorrect HTML entity in Poincare_Disc metadata
Fixed broken citation in Poincare_Disc
paulson <lp15@cam.ac.uk> committed rAFPc0d0d29ff0e7: Approximation_Algorithms website.
Approximation_Algorithms website