February 2016 Archives by subject

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

Starting: Mon Feb 1 08:32:54 CET 2016
Ending: Sun Feb 28 21:29:40 CET 2016
Messages: 83

• [isabelle-dev] "Subgoal" command and meta-conjunctions   Daniel Matichuk
• [isabelle-dev] "Subgoal" command and meta-conjunctions   Makarius
• [isabelle-dev] [Isabelle-ci] Build failed in Jenkins: afp-repo-checkin #80   Lawrence Paulson
• [isabelle-dev] [isabelle] Disk usage in ~/.isabelle/contrib   Matthew Fernandez
• [isabelle-dev] [isabelle] Disk usage in ~/.isabelle/contrib   Makarius
• [isabelle-dev] [isabelle] Disk usage in ~/.isabelle/contrib   Matthew Fernandez
• [isabelle-dev] buildall inconsistency   Florian Haftmann
• [isabelle-dev] buildall inconsistency   Manuel Eberl
• [isabelle-dev] buildall inconsistency   Lawrence Paulson
• [isabelle-dev] buildall inconsistency   Manuel Eberl
• [isabelle-dev] Build failed in Jenkins: afp-repo-checkin #80   Makarius
• [isabelle-dev] Build failed in Jenkins: afp-repo-checkin #80   Lars Hupel
• [isabelle-dev] Building Pure on Windows   Fabian Meier
• [isabelle-dev] Building Pure on Windows   Makarius
• [isabelle-dev] Building Pure on Windows   Fabian Meier
• [isabelle-dev] Building Pure on Windows   Makarius
• [isabelle-dev] Building Pure on Windows   Fabian Meier
• [isabelle-dev] Disabled Jenkins mails   Lars Hupel
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   Lars Hupel
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   Dmitriy Traytel
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   Lars Hupel
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   Lars Hupel
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   David Matthews
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   Lars Hupel
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   Lars Hupel
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   David Matthews
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   Lars Hupel
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   David Matthews
• [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory   Lars Hupel
• [isabelle-dev] Fwd: [Isabelle-ci] Build failed in Jenkins: afp-repo-checkin #80   Lawrence Paulson
• [isabelle-dev] Fwd: [Isabelle-ci] Build failed in Jenkins: afp-repo-checkin #80   Lars Hupel
• [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Lars Hupel
• [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Makarius
• [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Lars Hupel
• [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Florian Haftmann
• [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Jasmin Blanchette
• [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Makarius
• [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Jasmin Blanchette
• [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Makarius
• [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Lars Hupel
• [isabelle-dev] Jenkins maintenance window   Lars Hupel
• [isabelle-dev] Jenkins maintenance window   Lars Hupel
• [isabelle-dev] Jenkins maintenance window   Gerwin Klein
• [isabelle-dev] Jenkins maintenance window   Jasmin Blanchette
• [isabelle-dev] Jenkins maintenance window   Lars Hupel
• [isabelle-dev] Jenkins maintenance window   Dmitriy Traytel
• [isabelle-dev] Jenkins maintenance window   Makarius
• [isabelle-dev] Jenkins maintenance window   Dmitriy Traytel
• [isabelle-dev] Mail on build failures   Florian Haftmann
• [isabelle-dev] Maintenance work on Jenkins VM   Andreas Lochbihler
• [isabelle-dev] Maintenance work on Jenkins VM   Andreas Lochbihler
• [isabelle-dev] Maintenance work on Jenkins VM   Lars Hupel
• [isabelle-dev] Maintenance work on Jenkins VM   Lars Hupel
• [isabelle-dev] Maintenance work on Jenkins VM   Dmitriy Traytel
• [isabelle-dev] Multiset membership revisited   Florian Haftmann
• [isabelle-dev] New mailing list: isabelle-ci   Lars Hupel
• [isabelle-dev] NEWS   Lawrence Paulson
• [isabelle-dev] NEWS   Makarius
• [isabelle-dev] NEWS   Florian Haftmann
• [isabelle-dev] NEWS: \<proof>   Makarius
• [isabelle-dev] NEWS: SML/NJ is no longer supported   Makarius
• [isabelle-dev] Nonstandard Analysis   Makarius
• [isabelle-dev] Nonstandard Analysis   Lawrence Paulson
• [isabelle-dev] Nonstandard Analysis   Makarius
• [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)   Makarius
• [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)   Florian Haftmann
• [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)   Makarius
• [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)   Dmitriy Traytel
• [isabelle-dev] semiring_gcd [was: Isabelle2016-RC0: potential changes]   Florian Haftmann
• [isabelle-dev] semiring_gcd [was: Isabelle2016-RC0: potential changes]   Thiemann, Rene
• [isabelle-dev] SML/NJ   Makarius
• [isabelle-dev] SML/NJ   Lawrence Paulson
• [isabelle-dev] SML/NJ   Lars Hupel
• [isabelle-dev] SML/NJ   Florian Haftmann
• [isabelle-dev] Status of afp-devel wrt. release?   Makarius
• [isabelle-dev] Status of afp-devel wrt. release?   Gerwin Klein
• [isabelle-dev] Supported Poly/ML versions   Makarius
• [isabelle-dev] Supported Poly/ML versions   Lawrence Paulson
• [isabelle-dev] Supported Poly/ML versions   Makarius
• [isabelle-dev] Supported Poly/ML versions   Lars Hupel
• [isabelle-dev] Supported Poly/ML versions   Makarius
• [isabelle-dev] Supported Poly/ML versions   Gerwin Klein
• [isabelle-dev] Supported Poly/ML versions   Clemens Ballarin

Last message date: Sun Feb 28 21:29:40 CET 2016
Archived on: Fri Apr 12 08:42:23 CEST 2019

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