Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Nov 2 2023

lukasstevens committed rISABELLE5de1c19ccd92: clarified;.
clarified;
Nov 2 2023, 9:35 PM

Jul 14 2023

lukasstevens committed rISABELLE7a6a7f70fadc: merged;.
merged;
Jul 14 2023, 3:54 PM
lukasstevens committed rISABELLE530f8dc04d83: added docs for order method in Orderings;.
added docs for order method in Orderings;
Jul 14 2023, 3:54 PM

Sep 30 2022

lukasstevens committed rISABELLE10945fc183cd: added documentation about new order prover.
added documentation about new order prover
Sep 30 2022, 12:44 PM
lukasstevens committed rISABELLE2aad8698f82f: tweaked.
tweaked
Sep 30 2022, 12:44 PM

Jul 22 2022

lukasstevens committed rISABELLEacf86c9f7698: fix document build error.
fix document build error
Jul 22 2022, 4:21 PM

Oct 29 2021

lukasstevens committed rISABELLEe6f0c9bf966c: order_tac: prevent potential bug, improve perf and tracing.
order_tac: prevent potential bug, improve perf and tracing
Oct 29 2021, 3:10 PM

Aug 19 2021

lukasstevens committed rISABELLE8e2355ddce1b: add/rename some theorems about Map(pings).
add/rename some theorems about Map(pings)
Aug 19 2021, 12:33 PM

May 28 2021

lukasstevens committed rAFP84e7b649025b: Restore deleted theorem from Szpilrajn.
Restore deleted theorem from Szpilrajn
May 28 2021, 10:49 AM

Mar 25 2021

lukasstevens committed rAFP66048a1fe6d6: Update tile to match metadata.
Update tile to match metadata
Mar 25 2021, 2:52 PM
lukasstevens committed rAFPe81a252628db: Extend entry Szpilrajn.
Extend entry Szpilrajn
Mar 25 2021, 2:47 PM

Mar 24 2020

lukasstevens added a comment to T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.

With the current situation leading to increased activity at https://isabelle.zulipchat.com, it would be a good opportunity to discuss a switch to Zulipchat on the mailing list some time after the Isabelle2020 release.

Mar 24 2020, 12:09 PM

Feb 18 2020

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 18 2020, 11:10 AM