February 2025 Archives by subject

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

Starting: Sat Feb 1 00:12:25 CET 2025
Ending: Wed Feb 19 23:15:10 CET 2025
Messages: 23

• -- Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scala:272:51   Tobias Nipkow
• -- Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scala:272:51   Makarius
• -- Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scala:272:51   Tobias Nipkow
• NEWS: move from CVC4 to cvc5   Manuel Eberl
• NEWS: move from CVC4 to cvc5   Makarius
• NEWS: update to FlatLaf 3.5.4   Makarius
• NEWS: update to FlatLaf 3.5.4   Makarius
• NEWS: update to FlatLaf 3.5.4 (Update)   Makarius
• NEWS: update to MLton 20241230   Makarius
• Towards Isabelle2025-RC1   Makarius
• Towards Isabelle2025-RC1   Makarius
• Towards Isabelle2025-RC2   Makarius
• Towards Isabelle2025-RC2   Gerwin Klein
• Towards Isabelle2025-RC2   Gerwin Klein
• Towards Isabelle2025-RC2   Gerwin Klein
• Towards Isabelle2025-RC3 and repository fork   Makarius
• Towards Isabelle2025-RC3 and repository fork   Gerwin Klein
• Towards Isabelle2025-RC3 and repository fork   Makarius
• Towards Isabelle2025-RC3 and repository fork   Makarius
• Towards Isabelle2025-RC3 and repository fork   Makarius
• Towards Isabelle2025-RC3 and repository fork   Gerwin Klein
• Update to scala-3.3.5   Makarius
• Update to scala-3.3.5   Makarius

Last message date: Wed Feb 19 23:15:10 CET 2025
Archived on: Wed Feb 19 23:15:36 CET 2025

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