December 2022 Archives by thread

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

Starting: Mon Dec 5 10:34:54 CET 2022
Ending: Wed Dec 21 22:41:16 CET 2022
Messages: 2

• [isabelle-dev] lemma top_empty_eq should not have attribute pred_set_conv   Martin Desharnais
• [isabelle-dev] NEWS: Support for interactive document preparation in PIDE   Makarius

Last message date: Wed Dec 21 22:41:16 CET 2022
Archived on: Wed Dec 21 22:41:45 CET 2022

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