December 2025 Archives by thread

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

Starting: Mon Dec 1 17:46:55 CET 2025
Ending: Tue Dec 30 20:49:24 CET 2025
Messages: 30

• NEWS: Isabelle/jEdit: more robust and reactive mouse handler, notably for macOS with Magic Mouse   Makarius
  • NEWS: Isabelle/jEdit: more robust and reactive mouse handler, notably for macOS with Magic Mouse   Lawrence Paulson
    • NEWS: Isabelle/jEdit: more robust and reactive mouse handler, notably for macOS with Magic Mouse   Makarius
      • NEWS: Isabelle/jEdit: more robust and reactive mouse handler, notably for macOS with Magic Mouse   Lawrence Paulson
• Java/AWT/Swing problem with text input boxes vs. mouse selection   Makarius
• afp-2025-1 fork now available   Gerwin Klein
• [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms   Florian Haftmann
• Incorrect result from signed right-shift when using Code_Target_Numeral   Daniel Matichuk
  • Incorrect result from signed right-shift when using Code_Target_Numeral   Makarius
    • Incorrect result from signed right-shift when using Code_Target_Numeral   Makarius
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Peter Lammich
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Makarius
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Daniel Matichuk
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Makarius
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Makarius
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Daniel Matichuk
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Florian Haftmann
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Makarius
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Makarius
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Makarius
      • Incorrect result from signed right-shift when using Code_Target_Numeral   Florian Haftmann
• A different mouse issue   Lawrence Paulson
• build.proof.cit.tum.de – Key (name)=(Shadow_DOM) already exists   Florian Haftmann
  • Re: build.proof.cit.tum.de – Key (name)=(Shadow_DOM) already exists   Achim D. Brucker
    • Re: build.proof.cit.tum.de – Key (name)=(Shadow_DOM) already exists   Fabian Huch
• Final notice: release snapshot of Isabelle2025-1 tomorrow   Makarius
  • Final notice: release snapshot of Isabelle2025-1 tomorrow   Makarius
• Problem in AFP   Florian Haftmann
  • Problem in AFP   Makarius
• duplicate key value violates unique constraint "isabelle_build_sessions_pkey"   Florian Haftmann

Last message date: Tue Dec 30 20:49:24 CET 2025
Archived on: Tue Dec 30 20:49:35 CET 2025

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