February 2020 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Thu Feb 6 13:56:47 CET 2020
Ending: Fri Feb 28 17:44:16 CET 2020
Messages: 10

• [isabelle-dev] Font license compatibility   Joshua Chen
• [isabelle-dev] Font license compatibility   Makarius
• [isabelle-dev] Plan for Isabelle2020 release   Makarius
• [isabelle-dev] Call for Tasks on isabelle-dev.sketis.net   Makarius
• [isabelle-dev] Plan for Isabelle2020 release   Makarius
• [isabelle-dev] Plan for Isabelle2020 release   Makarius
• [isabelle-dev] Fwd: Mercurial 5.4 Sprint; Paris, France; March 27th-29th.   Makarius
• [isabelle-dev] Plan for Isabelle2020 release   Makarius
• [isabelle-dev] [isabelle] strict_mono with an explicit set   Lawrence Paulson
• [isabelle-dev] CONTEXT exception after locale interpretation with setup_lifting   Traytel Dmitriy

Last message date: Fri Feb 28 17:44:16 CET 2020
Archived on: Fri Feb 28 17:44:22 CET 2020

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...