April 2025 Archives by thread

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

Starting: Fri Apr 4 13:06:27 CEST 2025
Ending: Tue Apr 29 19:26:32 CEST 2025
Messages: 19

• legacy_Complex_simps   Lawrence Paulson
  • legacy_Complex_simps   Makarius
    • legacy_Complex_simps   Lawrence Paulson
• Total build failure in AFP   Florian Haftmann
• Jedit run failure   Florian Haftmann
  • Jedit run failure   Florian Haftmann
• Problem with polyml-e266a93fe8fe and Generate_Target_Bit_Operations   Makarius
  • Problem with polyml-e266a93fe8fe and Generate_Target_Bit_Operations   Makarius
  • Problem with polyml-e266a93fe8fe and Generate_Target_Bit_Operations   Florian Haftmann
• Code generation: bit shifts   Florian Haftmann
• Orphaned Code_* theory imports   Florian Haftmann
  • Orphaned Code_* theory imports   Peter Lammich
    • Orphaned Code_* theory imports   Florian Haftmann
      • Orphaned Code_* theory imports   Peter Lammich
• [isabelle-dev] type class ordered_semiring_1   Florian Haftmann
  • [isabelle-dev] type class ordered_semiring_1   Lawrence Paulson
  • [isabelle-dev] type class ordered_semiring_1   Lawrence Paulson
• Builds keep failing   Lawrence Paulson
  • Builds keep failing   Makarius

Last message date: Tue Apr 29 19:26:32 CEST 2025
Archived on: Tue Apr 29 19:26:45 CEST 2025

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