October 2020 Archives by date

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

Starting: Sat Oct 3 16:43:32 CEST 2020
Ending: Thu Oct 29 17:50:50 CET 2020
Messages: 36

• [isabelle-dev] Experimental support for arm64-linux   Makarius
• [isabelle-dev] Experimental support for arm64-linux   Makarius
• [isabelle-dev] Experimental support for arm64-linux   Makarius
• [isabelle-dev] LuaLaTeX compatibility improvements in AFP   Makarius
• [isabelle-dev] Word sessions and theories   Florian Haftmann
• [isabelle-dev] LuaLaTeX compatibility improvements in AFP   Lars Hupel
• [isabelle-dev] LuaLaTeX compatibility improvements in AFP   Makarius
• [isabelle-dev] LuaLaTeX compatibility improvements in AFP   Lars Hupel
• [isabelle-dev] Word sessions and theories   Klein, Gerwin (Data61, Kensington NSW)
• [isabelle-dev] Word sessions and theories   Lawrence Paulson
• [isabelle-dev] Word sessions and theories   Florian Haftmann
• [isabelle-dev] NEWS: Consolidated terminology and function signatures for nested targets   Florian Haftmann
• [isabelle-dev] Registering not available   Mathias Fleury
• [isabelle-dev] Registering not available   Peter Lammich
• [isabelle-dev] Registering not available   Manuel Eberl
• [isabelle-dev] Registering not available   Tobias Nipkow
• [isabelle-dev] Benchmark suite for Isabelle's `rewrite` tactic   Zack Grannan
• [isabelle-dev] Benchmark suite for Isabelle's `rewrite` tactic   Makarius
• [isabelle-dev] LuaLaTeX compatibility improvements in AFP   Makarius
• [isabelle-dev] LuaLaTeX compatibility improvements in AFP   Lars Hupel
• [isabelle-dev] Word sessions and theories   Florian Haftmann
• [isabelle-dev] Word sessions and theories   Klein, Gerwin (Data61, Kensington NSW)
• [isabelle-dev] NEWS: update of external provers   Makarius
• [isabelle-dev] NEWS: Consolidated terminology and function signatures for nested targets   Makarius
• [isabelle-dev] NEWS: update of external provers   Makarius
• [isabelle-dev] NEWS: update of external provers   Lawrence Paulson
• [isabelle-dev] [Spam] NEWS: update of external provers   Jasmin Blanchette
• [isabelle-dev] [Spam] NEWS: update of external provers   Lawrence Paulson
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP   Lawrence Paulson
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP   Tobias Nipkow
• [isabelle-dev] [Spam] NEWS: update of external provers   Jasmin Blanchette
• [isabelle-dev] [Spam] NEWS: update of external provers   Lawrence Paulson
• [isabelle-dev] [Spam] NEWS: update of external provers   Jasmin Blanchette
• [isabelle-dev] Update to jdk-11.0.9+11 with arm64-linux   Makarius
• [isabelle-dev] NEWS   Florian Haftmann
• [isabelle-dev] NEWS: update of external provers   Makarius

Last message date: Thu Oct 29 17:50:50 CET 2020
Archived on: Thu Oct 29 17:50:59 CET 2020

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