Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (3)

Wishlist (2)

Recent Activity

Yesterday

makarius triaged T15: Localized record package as Normal priority.
Wed, Feb 19, 8:48 PM
makarius triaged T14: Fully localized type abbreviations as Wishlist priority.
Wed, Feb 19, 8:43 PM
makarius committed rISABELLE8f628d216ea1: proper print mode for function_space notation (amending d68b705719ce);.
proper print mode for function_space notation (amending d68b705719ce);
Wed, Feb 19, 8:07 PM
makarius committed rISABELLE4876e6f62fe5: proper file name (amending ce3409dfb18c);.
proper file name (amending ce3409dfb18c);
Wed, Feb 19, 4:05 PM

Tue, Feb 18

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.
Tue, Feb 18, 9:08 PM
nipkow committed rISABELLEdd7e398a04ae: merged.
merged
Tue, Feb 18, 6:08 PM
nipkow committed rISABELLEd6e139438e4a: tuned proof.
tuned proof
Tue, Feb 18, 6:08 PM
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";
Tue, Feb 18, 4:08 PM
Julian Brunner <julianbrunner@gmail.com> committed rAFP2d4667e525c2: merged.
merged
Tue, Feb 18, 2:18 PM
Julian Brunner <julianbrunner@gmail.com> committed rAFPcd0b90f7688d: added equivalence and automata tool.
added equivalence and automata tool
Tue, Feb 18, 2:18 PM
Julian Brunner <julianbrunner@gmail.com> committed rAFP6119bf12038f: streamlined NBA translation.
streamlined NBA translation
Tue, Feb 18, 2:18 PM
pruvisto committed rAFPbf1920e1bc60: make Poincare_Disc build on Complex_Geometry.
make Poincare_Disc build on Complex_Geometry
Tue, Feb 18, 12:10 PM
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
Tue, Feb 18, 12:01 PM
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).

Tue, Feb 18, 11:10 AM

Mon, Feb 17

makarius committed rISABELLE35b2d407e558: merged.
merged
Mon, Feb 17, 9:11 PM
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…
Mon, Feb 17, 9:11 PM
makarius edited Description on isabelle-release.
Mon, Feb 17, 2:27 PM
makarius edited Description on isabelle-release.
Mon, Feb 17, 2:27 PM
makarius edited Description on isabelle-release.
Mon, Feb 17, 2:26 PM
paulson <lp15@cam.ac.uk> committed rAFP29f2271f9455: a few new lemmas.
a few new lemmas
Mon, Feb 17, 1:22 PM
paulson committed rISABELLE7b8a6840e85f: merged.
merged
Mon, Feb 17, 12:33 PM
paulson <lp15@cam.ac.uk> committed rISABELLE9edb7fb69bc2: a few new lemmas.
a few new lemmas
Mon, Feb 17, 12:33 PM
makarius committed rISABELLEfb08117a106b: tuned;.
tuned;
Mon, Feb 17, 12:06 PM
kleing triaged T13: Isabelle/jEdit indenting as Normal priority.
Mon, Feb 17, 4:10 AM · isabelle-release
Julian Brunner <julianbrunner@gmail.com> committed rAFPc9a73112a393: updated root file.
updated root file
Mon, Feb 17, 12:37 AM
Julian Brunner <julianbrunner@gmail.com> committed rAFP06bb4c12bc7b: refactoring.
refactoring
Mon, Feb 17, 12:37 AM

Sun, Feb 16

nipkow committed rISABELLEefcd6742ea9c: merged.
merged
Sun, Feb 16, 9:11 PM
nipkow committed rISABELLE3cf130a896a3: lemmas about "card A = 2"; prefer iff to implications.
lemmas about "card A = 2"; prefer iff to implications
Sun, Feb 16, 9:11 PM
makarius committed rISABELLE404624eb3a22: NEWS;.
NEWS;
Sun, Feb 16, 8:18 PM
makarius committed rISABELLE439410bf4519: proper sort constraints for strip_shyps, which implicitly performs type….
proper sort constraints for strip_shyps, which implicitly performs type…
Sun, Feb 16, 8:18 PM

Sat, Feb 15

makarius committed rISABELLE91340a6bf401: NEWS;.
NEWS;
Sat, Feb 15, 9:22 PM
makarius added a member for isabelle-repository: kleing.
Sat, Feb 15, 5:13 PM
"Eugene W. Stark <stark@cs.stonybrook.edu>" committed rAFPecd9de819957: Update change history..
Update change history.
Sat, Feb 15, 8:27 AM
"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…
Sat, Feb 15, 8:27 AM

Fri, Feb 14

makarius committed rISABELLEe596ea18bf3e: Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8.
Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8
Fri, Feb 14, 10:26 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
Fri, Feb 14, 10:02 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
Fri, Feb 14, 9:50 PM
makarius created Blog Post: Release Candidates for Isabelle2020.
Fri, Feb 14, 9:43 PM
makarius updated the task description for T8: Clarify underlying Mercurial version.
Fri, Feb 14, 9:30 PM · isabelle-release, phabricator-setup
makarius updated the task description for T8: Clarify underlying Mercurial version.
Fri, Feb 14, 9:30 PM · isabelle-release, phabricator-setup