May 2016 Archives by author

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

Starting: Thu May 5 10:49:35 CEST 2016
Ending: Tue May 31 21:37:14 CEST 2016
Messages: 34

• [isabelle-dev] Isabelle repository broken   Jasmin Blanchette
• [isabelle-dev] Isabelle repository broken   Manuel Eberl
• [isabelle-dev] Isabelle repository broken   Manuel Eberl
• [isabelle-dev] NEWS: command 'define'   Florian Haftmann
• [isabelle-dev] NEWS   Florian Haftmann
• [isabelle-dev] Nonterminating AFP build   Lars Hupel
• [isabelle-dev] Jenkins downtime   Lars Hupel
• [isabelle-dev] Jenkins downtime   Lars Hupel
• [isabelle-dev] Isabelle repository broken   Lars Hupel
• [isabelle-dev] Repaired Card_Equiv_Relations   Lars Hupel
• [isabelle-dev] problem with Nominal in the AFP   Lars Hupel
• [isabelle-dev] problem with Nominal in the AFP   Lars Hupel
• [isabelle-dev] Nonterminating AFP build   Johannes Hölzl
• [isabelle-dev] AFP/MFMC_Countable still failing   Johannes Hölzl
• [isabelle-dev] Discovering named_theorems   Gerwin Klein
• [isabelle-dev] Nonterminating AFP build   Gerwin Klein
• [isabelle-dev] Discovering named_theorems   Makarius
• [isabelle-dev] Nonterminating AFP build   Makarius
• [isabelle-dev] Isabelle repository broken   Makarius
• [isabelle-dev] Isabelle repository broken   Makarius
• [isabelle-dev] NEWS: process management (summary and update)   Makarius
• [isabelle-dev] pretty-printing of DIM('a)   Makarius
• [isabelle-dev] NEWS: cartouches   Makarius
• [isabelle-dev] NEWS: theorem eigen context   Makarius
• [isabelle-dev] AFP/MFMC_Countable still failing   Makarius
• [isabelle-dev] problem with Nominal in the AFP   Makarius
• [isabelle-dev] Proper sign of gcd / lcm on type int   Makarius
• [isabelle-dev] Nonterminating AFP build   Tobias Nipkow
• [isabelle-dev] Nonterminating AFP build   Lawrence Paulson
• [isabelle-dev] Nonterminating AFP build   Lawrence Paulson
• [isabelle-dev] Isabelle repository broken   Lawrence Paulson
• [isabelle-dev] Whole word search   Lawrence Paulson
• [isabelle-dev] problem with Nominal in the AFP   Lawrence Paulson
• [isabelle-dev] Discovering named_theorems   Dmitriy Traytel

Last message date: Tue May 31 21:37:14 CEST 2016
Archived on: Fri Apr 12 08:42:23 CEST 2019

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