isabelle-dev
Thread
Date
Earlier messages
Later messages
Messages by Date
2016/06/23
Re: [isabelle-dev] Scala implicits
Manuel Eberl
2016/06/23
[isabelle-dev] Scala implicits
Florian Haftmann
2016/06/22
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
2016/06/21
Re: [isabelle-dev] Acces to internal interfaces ...
Jasmin Blanchette
2016/06/21
Re: [isabelle-dev] Acces to internal interfaces ...
Makarius
2016/06/21
[isabelle-dev] Acces to internal interfaces ...
Burkhart Wolff
2016/06/17
[isabelle-dev] Jenkins maintenance
Lars Hupel
2016/06/16
Re: [isabelle-dev] [Isabelle-ci] Build failure in Isabelle
Lawrence Paulson
2016/06/16
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Manuel Eberl
2016/06/15
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Lawrence Paulson
2016/06/15
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Manuel Eberl
2016/06/15
[isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Lawrence Paulson
2016/06/13
Re: [isabelle-dev] Build NEWS
Ondřej Kunčar
2016/06/13
Re: [isabelle-dev] Build NEWS
Lars Hupel
2016/06/13
Re: [isabelle-dev] Build NEWS
Florian Haftmann
2016/06/13
Re: [isabelle-dev] Build NEWS
Lars Hupel
2016/06/13
Re: [isabelle-dev] Build NEWS
Florian Haftmann
2016/06/12
[isabelle-dev] Build NEWS
Lars Hupel
2016/06/12
Re: [isabelle-dev] Syntax for lattice operations?
Tobias Nipkow
2016/06/12
Re: [isabelle-dev] Syntax for lattice operations?
Florian Haftmann
2016/06/12
Re: [isabelle-dev] Syntax for lattice operations?
Tobias Nipkow
2016/06/11
Re: [isabelle-dev] Syntax for lattice operations?
Makarius
2016/06/11
Re: [isabelle-dev] Syntax for lattice operations?
Florian Haftmann
2016/06/11
Re: [isabelle-dev] Syntax for lattice operations?
Florian Haftmann
2016/06/10
Re: [isabelle-dev] Syntax for lattice operations?
Makarius
2016/06/10
[isabelle-dev] NEWS: bundle target and unbundle command
Makarius
2016/06/09
Re: [isabelle-dev] NEWS: method facts
Makarius
2016/06/09
Re: [isabelle-dev] NEWS: method facts
Joachim Breitner
2016/06/09
Re: [isabelle-dev] NEWS: method facts
Makarius
2016/06/09
Re: [isabelle-dev] NEWS: method facts
Joachim Breitner
2016/06/08
[isabelle-dev] NEWS: method facts
Makarius
2016/06/08
Re: [isabelle-dev] Whole word search
Makarius
2016/06/07
Re: [isabelle-dev] Whole word search
Fabian Immler
2016/06/06
Re: [isabelle-dev] Whole word search
Makarius
2016/06/06
Re: [isabelle-dev] Whole word search
Lawrence Paulson
2016/06/06
Re: [isabelle-dev] Whole word search
Makarius
2016/06/06
Re: [isabelle-dev] Whole word search
Makarius
2016/06/06
[isabelle-dev] NEWS: isabelle.select-entity
Makarius
2016/06/04
Re: [isabelle-dev] PolyML bundle build steps
Makarius
2016/06/04
[isabelle-dev] NEWS: clarified Integer.gcd and Integer.lcm
Makarius
2016/06/03
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Pierpaolo Bernardi
2016/06/03
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Makarius
2016/06/03
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
David Matthews
2016/06/02
[isabelle-dev] PolyML bundle build steps
Matthew Fernandez
2016/06/02
[isabelle-dev] how to guess the surface operation of 3 valued logic?
Ho Yeung Lee
2016/06/02
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Amine Chaieb
2016/06/02
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Manuel Eberl
2016/06/02
Re: [isabelle-dev] NEWS: Rat in Isabelle/ML
Manuel Eberl
2016/06/01
[isabelle-dev] Isabelle_01-Jun-2016 snapshot
Makarius
2016/06/01
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Florian Haftmann
2016/06/01
Re: [isabelle-dev] NEWS: Rat in Isabelle/ML
Makarius
2016/06/01
Re: [isabelle-dev] NEWS: Rat in Isabelle/ML
Makarius
2016/06/01
Re: [isabelle-dev] NEWS: Rat in Isabelle/ML
Florian Haftmann
2016/06/01
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Makarius
2016/06/01
[isabelle-dev] NEWS: Rat in Isabelle/ML
Makarius
2016/06/01
[isabelle-dev] jdk-8u92
Makarius
2016/06/01
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Florian Haftmann
2016/05/31
[isabelle-dev] Proper sign of gcd / lcm on type int
Makarius
2016/05/31
Re: [isabelle-dev] problem with Nominal in the AFP
Lars Hupel
2016/05/31
Re: [isabelle-dev] problem with Nominal in the AFP
Makarius
2016/05/31
Re: [isabelle-dev] problem with Nominal in the AFP
Lars Hupel
2016/05/31
[isabelle-dev] problem with Nominal in the AFP
Lawrence Paulson
2016/05/31
Re: [isabelle-dev] AFP/MFMC_Countable still failing
Johannes Hölzl
2016/05/30
[isabelle-dev] AFP/MFMC_Countable still failing
Makarius
2016/05/27
[isabelle-dev] Whole word search
Lawrence Paulson
2016/05/26
[isabelle-dev] NEWS
Florian Haftmann
2016/05/26
[isabelle-dev] Repaired Card_Equiv_Relations
Lars Hupel
2016/05/24
[isabelle-dev] NEWS: theorem eigen context
Makarius
2016/05/24
[isabelle-dev] NEWS: cartouches
Makarius
2016/05/24
Re: [isabelle-dev] pretty-printing of DIM('a)
Makarius
2016/05/24
Re: [isabelle-dev] NEWS: process management (summary and update)
Makarius
2016/05/24
Re: [isabelle-dev] Isabelle repository broken
Manuel Eberl
2016/05/24
Re: [isabelle-dev] Isabelle repository broken
Makarius
2016/05/24
Re: [isabelle-dev] Isabelle repository broken
Manuel Eberl
2016/05/24
Re: [isabelle-dev] Isabelle repository broken
Jasmin Blanchette
2016/05/24
Re: [isabelle-dev] Isabelle repository broken
Lars Hupel
2016/05/24
Re: [isabelle-dev] Isabelle repository broken
Lawrence Paulson
2016/05/24
[isabelle-dev] Isabelle repository broken
Makarius
2016/05/23
Re: [isabelle-dev] Jenkins downtime
Lars Hupel
2016/05/20
[isabelle-dev] Jenkins downtime
Lars Hupel
2016/05/12
Re: [isabelle-dev] Nonterminating AFP build
Johannes Hölzl
2016/05/12
Re: [isabelle-dev] Nonterminating AFP build
Tobias Nipkow
2016/05/12
Re: [isabelle-dev] Nonterminating AFP build
Lawrence Paulson
2016/05/12
Re: [isabelle-dev] Nonterminating AFP build
Lawrence Paulson
2016/05/12
Re: [isabelle-dev] Nonterminating AFP build
Makarius
2016/05/11
Re: [isabelle-dev] Nonterminating AFP build
Gerwin Klein
2016/05/11
[isabelle-dev] Nonterminating AFP build
Lars Hupel
2016/05/11
Re: [isabelle-dev] Discovering named_theorems
Dmitriy Traytel
2016/05/10
Re: [isabelle-dev] Discovering named_theorems
Gerwin Klein
2016/05/10
Re: [isabelle-dev] Discovering named_theorems
Makarius
2016/05/05
Re: [isabelle-dev] NEWS: command 'define'
Florian Haftmann
2016/04/28
Re: [isabelle-dev] Remaining uses of isatest/afptest
Makarius
2016/04/26
Re: [isabelle-dev] Remaining uses of isatest/afptest
Lars Hupel
2016/04/25
[isabelle-dev] NEWS: command 'define'
Makarius
2016/04/25
Re: [isabelle-dev] NEWS: Highlighting of entity def/ref positions
Jasmin Blanchette
2016/04/25
Re: [isabelle-dev] PIDE reports on mixfix annotations (notably for datatype)
Jasmin Blanchette
2016/04/25
Re: [isabelle-dev] PIDE reports on mixfix annotations (notably for datatype)
Jasmin Blanchette
2016/04/21
[isabelle-dev] Remaining uses of isatest/afptest
Lars Hupel
2016/04/20
Re: [isabelle-dev] Preferred syntax for big GCD?
Florian Haftmann
2016/04/20
Re: [isabelle-dev] NEWS: IDE support for Isabelle/Pure bootstrap
Makarius
2016/04/20
Re: [isabelle-dev] Build NEWS
Lars Hupel
2016/04/19
Re: [isabelle-dev] NEWS: Highlighting of entity def/ref positions
Makarius
2016/04/19
Re: [isabelle-dev] NEWS: Highlighting of entity def/ref positions
Dmitriy Traytel
2016/04/18
[isabelle-dev] NEWS: Highlighting of entity def/ref positions
Makarius
2016/04/17
Re: [isabelle-dev] Build NEWS
Lars Hupel
2016/04/17
Re: [isabelle-dev] Build NEWS
Makarius
2016/04/16
[isabelle-dev] Build NEWS
Lars Hupel
2016/04/15
Re: [isabelle-dev] NEWS: HOL-Probability -- type of emeasure and nn_integral was changed from ereal to ennreal
Johannes Hölzl
2016/04/14
[isabelle-dev] NEWS: HOL-Probability -- type of emeasure and nn_integral was changed from ereal to ennreal
Johannes Hölzl
2016/04/12
[isabelle-dev] PIDE reports on mixfix annotations (notably for datatype)
Makarius
2016/04/12
Re: [isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit
Lars Hupel
2016/04/12
Re: [isabelle-dev] Fwd: [isabelle] TERM exception in fologic.ML
Makarius
2016/04/12
Re: [isabelle-dev] NEWS: type-inference for object-logic
Makarius
2016/04/12
Re: [isabelle-dev] NEWS: type-inference for object-logic
Peter Lammich
2016/04/12
Re: [isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit
Makarius
2016/04/12
[isabelle-dev] NEWS: type-inference for object-logic
Makarius
2016/04/12
[isabelle-dev] Fwd: [isabelle] TERM exception in fologic.ML
Lawrence Paulson
2016/04/12
[isabelle-dev] Fwd: [isabelle] TERM exception in fologic.ML
Lawrence Paulson
2016/04/11
[isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit
Lars Hupel
2016/04/09
Re: [isabelle-dev] Preferred syntax for big GCD?
Makarius
2016/04/09
Re: [isabelle-dev] NEWS: IDE support for Isabelle/Pure bootstrap
Makarius
2016/04/07
Re: [isabelle-dev] NEWS: IDE support for Isabelle/Pure bootstrap
Makarius
2016/04/07
[isabelle-dev] NEWS: IDE support for Isabelle/Pure bootstrap
Makarius
2016/04/04
[isabelle-dev] Failures in HOL-Codegenerator_Test
Lars Hupel
2016/04/04
[isabelle-dev] NEWS: 'corec' command
Jasmin Blanchette
2016/04/03
[isabelle-dev] NEWS: ISABELLE_TOOL_JAVA_OPTIONS
Makarius
2016/04/03
[isabelle-dev] pretty-printing of DIM('a)
Lawrence Paulson
2016/04/02
[isabelle-dev] structure PolyML sealed after bootstrap
Makarius
2016/04/02
Re: [isabelle-dev] src/Doc/Corec fails
Makarius
2016/04/02
Re: [isabelle-dev] src/Doc/Corec fails
Jasmin Blanchette
2016/04/02
Re: [isabelle-dev] NEWS: mixfix annotations and Unicode
Makarius
2016/04/02
[isabelle-dev] src/Doc/Corec fails
Makarius
2016/04/01
[isabelle-dev] NEWS: mixfix annotations and Unicode
Makarius
2016/03/31
Re: [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}
Florian Haftmann
2016/03/31
Re: [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}
Florian Haftmann
2016/03/30
Re: [isabelle-dev] Odd branches on AFP
Gerwin Klein
2016/03/30
Re: [isabelle-dev] Odd branches on AFP
Makarius
2016/03/30
Re: [isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails
Makarius
2016/03/30
Re: [isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails
Salomon Sickert
2016/03/29
[isabelle-dev] Odd branches on AFP
Makarius
2016/03/29
Re: [isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails
Makarius
2016/03/29
[isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails
Salomon Sickert
2016/03/22
Re: [isabelle-dev] Additional lemma for Bool_List_Representation
Gerwin Klein
2016/03/22
[isabelle-dev] Additional lemma for Bool_List_Representation
C. Diekmann
2016/03/21
Re: [isabelle-dev] Jenkins updates
Lars Hupel
2016/03/21
Re: [isabelle-dev] Jenkins updates
Lars Hupel
2016/03/21
Re: [isabelle-dev] Jenkins updates
Dmitriy Traytel
2016/03/20
Re: [isabelle-dev] NEWS: Poly/ML heaps follow hierarchy of sessions
Makarius
2016/03/19
Re: [isabelle-dev] NEWS: process management (summary and update)
Lars Noschinski
2016/03/19
Re: [isabelle-dev] NEWS:
Lawrence Paulson
2016/03/19
Re: [isabelle-dev] NEWS: Poly/ML heaps follow hierarchy of sessions
Makarius
2016/03/19
[isabelle-dev] NEWS:
Makarius
2016/03/19
[isabelle-dev] Jenkins updates
Lars Hupel
2016/03/19
Re: [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}
Makarius
2016/03/19
Re: [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}
Makarius
2016/03/19
Re: [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}
Makarius
2016/03/13
Re: [isabelle-dev] Explicit representation of multisets
Jasmin Blanchette
2016/03/13
Re: [isabelle-dev] Syntax for lattice operations?
Tobias Nipkow
2016/03/13
Re: [isabelle-dev] Explicit representation of multisets
Tobias Nipkow
2016/03/13
[isabelle-dev] Sketch for generic interval notation [_..<_] / [_.._]
Florian Haftmann
2016/03/12
[isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}
Florian Haftmann
2016/03/11
[isabelle-dev] NEWS: process management (summary and update)
Makarius
2016/03/11
Re: [isabelle-dev] Factorial ring
Manuel Eberl
2016/03/11
Re: [isabelle-dev] Factorial ring
Tjark Weber
2016/03/10
Re: [isabelle-dev] Factorial ring
Manuel Eberl
2016/03/10
Re: [isabelle-dev] Syntax for lattice operations?
Makarius
2016/03/10
[isabelle-dev] Factorial ring
Florian Haftmann
2016/03/10
Re: [isabelle-dev] Syntax for lattice operations?
Florian Haftmann
2016/03/10
Re: [isabelle-dev] Syntax for lattice operations?
Lawrence Paulson
2016/03/10
Re: [isabelle-dev] Syntax for lattice operations?
Johannes Hölzl
2016/03/10
Re: [isabelle-dev] Preferred syntax for big GCD?
Lawrence Paulson
2016/03/10
Re: [isabelle-dev] Preferred syntax for big GCD?
Tobias Nipkow
2016/03/10
[isabelle-dev] Syntax for lattice operations?
Florian Haftmann
2016/03/10
[isabelle-dev] Explicit representation of multisets
Florian Haftmann
2016/03/10
[isabelle-dev] Preferred syntax for big GCD?
Florian Haftmann
2016/03/09
Re: [isabelle-dev] NEWS: isabelle_process and isabelle console
Makarius
2016/03/07
Re: [isabelle-dev] NEWS: Local_Theory.restore versus Local_Theory.reset
Dmitriy Traytel
2016/03/06
Re: [isabelle-dev] NEWS: HOL notation
Lawrence Paulson
2016/03/05
[isabelle-dev] NEWS: HOL notation
Makarius
2016/03/05
[isabelle-dev] NEWS: structure Timeout
Makarius
2016/03/05
[isabelle-dev] NEWS: isabelle_process and isabelle console
Makarius
2016/03/05
[isabelle-dev] NEWS: Local_Theory.restore versus Local_Theory.reset
Makarius
2016/03/04
Re: [isabelle-dev] lifting syntax with proper symbols
Peter Lammich
2016/03/04
Re: [isabelle-dev] lifting syntax with proper symbols
Ondřej Kunčar
2016/03/04
Re: [isabelle-dev] Notation for not-exists
Tobias Nipkow
2016/03/04
Re: [isabelle-dev] Notation for not-exists
Lawrence Paulson
2016/03/04
Re: [isabelle-dev] lifting syntax with proper symbols
Andreas Lochbihler
2016/03/04
[isabelle-dev] Notation for not-exists
Makarius
2016/03/04
[isabelle-dev] lifting syntax with proper symbols
Makarius
2016/03/03
[isabelle-dev] Discovering named_theorems
Dmitriy Traytel
2016/03/03
Re: [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)
Makarius
2016/03/03
Re: [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)
Florian Haftmann
2016/03/03
Re: [isabelle-dev] NEWS: support for ML_exception_debugger
Florian Haftmann
2016/03/02
Re: [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)
Makarius
2016/03/02
[isabelle-dev] NEWS: support for ML_exception_debugger
Makarius
2016/03/01
Re: [isabelle-dev] Building Pure on Windows
Makarius
2016/03/01
Re: [isabelle-dev] buildall inconsistency
Jose Divasón
2016/02/28
Re: [isabelle-dev] buildall inconsistency
Manuel Eberl
2016/02/28
[isabelle-dev] Disabled Jenkins mails
Lars Hupel
2016/02/28
Re: [isabelle-dev] buildall inconsistency
Lawrence Paulson
Earlier messages
Later messages