Messages by Date
-
2018/06/20
Re: [isabelle-dev] Nontermination in HOL-Corec_Examples on Epyc
Lars Hupel
-
2018/06/20
Re: [isabelle-dev] Nontermination in HOL-Corec_Examples on Epyc
Makarius
-
2018/06/18
Re: [isabelle-dev] Nontermination in HOL-Corec_Examples on Epyc
Makarius
-
2018/06/18
[isabelle-dev] Nontermination in HOL-Corec_Examples on Epyc
Lars Hupel
-
2018/06/18
Re: [isabelle-dev] quaternions
Mohammad Abdulaziz
-
2018/06/18
Re: [isabelle-dev] quaternions
Lawrence Paulson
-
2018/06/18
Re: [isabelle-dev] quaternions
Manuel Eberl
-
2018/06/18
Re: [isabelle-dev] quaternions
Tobias Nipkow
-
2018/06/18
Re: [isabelle-dev] quaternions
Lars Hupel
-
2018/06/18
[isabelle-dev] quaternions
Lawrence Paulson
-
2018/06/07
[isabelle-dev] Clicks are lost
Tobias Nipkow
-
2018/06/07
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2018/06/07
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2018/06/07
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Makarius
-
2018/06/07
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Florian Haftmann
-
2018/06/07
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Makarius
-
2018/06/07
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2018/06/07
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2018/06/06
Re: [isabelle-dev] NEWS: isabelle jedit options
Lawrence Paulson
-
2018/06/06
Re: [isabelle-dev] NEWS: isabelle jedit options
Makarius
-
2018/06/06
Re: [isabelle-dev] NEWS: isabelle jedit options
Lawrence Paulson
-
2018/06/06
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Makarius
-
2018/06/06
Re: [isabelle-dev] NEWS: isabelle jedit options
Makarius
-
2018/06/06
Re: [isabelle-dev] NEWS: isabelle jedit options
Fabian Immler
-
2018/06/06
Re: [isabelle-dev] NEWS: isabelle jedit options
Lawrence Paulson
-
2018/06/06
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2018/06/05
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Makarius
-
2018/06/05
Re: [isabelle-dev] NEWS: isabelle jedit options
Makarius
-
2018/06/05
Re: [isabelle-dev] NEWS: isabelle jedit options
Lawrence Paulson
-
2018/06/05
Re: [isabelle-dev] NEWS: isabelle jedit options
Makarius
-
2018/06/05
Re: [isabelle-dev] NEWS: sightly more parallel checking
Makarius
-
2018/06/05
Re: [isabelle-dev] NEWS: sightly more parallel checking
Fabian Immler
-
2018/06/05
Re: [isabelle-dev] NEWS: sightly more parallel checking
Makarius
-
2018/06/05
Re: [isabelle-dev] NEWS: sightly more parallel checking
Fabian Immler
-
2018/06/05
Re: [isabelle-dev] NEWS: sightly more parallel checking
Makarius
-
2018/06/04
[isabelle-dev] Towards the release
Makarius
-
2018/06/04
[isabelle-dev] NEWS: isabelle jedit options
Makarius
-
2018/06/03
[isabelle-dev] NEWS: sightly more parallel checking
Makarius
-
2018/06/01
Re: [isabelle-dev] ~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thy broken
Dmitriy Traytel
-
2018/06/01
Re: [isabelle-dev] ~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thy broken
Makarius
-
2018/06/01
[isabelle-dev] NEWS: isabelle dump
Makarius
-
2018/06/01
Re: [isabelle-dev] HOL-ODE-Numerics vs. HOL-ODE-Refinement
Fabian Immler
-
2018/06/01
Re: [isabelle-dev] ~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thy broken
Dmitriy Traytel
-
2018/05/31
Re: [isabelle-dev] HOL-ODE-Numerics vs. HOL-ODE-Refinement
Makarius
-
2018/05/31
[isabelle-dev] HOL-ODE-Numerics vs. HOL-ODE-Refinement
Makarius
-
2018/05/31
Re: [isabelle-dev] ~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thy broken
Blanchette, J.C.
-
2018/05/31
[isabelle-dev] ~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thy broken
Lars Hupel
-
2018/05/30
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2018/05/30
Re: [isabelle-dev] OCaml 4.06.0 drops nums.cma
Florian Haftmann
-
2018/05/27
[isabelle-dev] OCaml 4.06.0 drops nums.cma
Lars Hupel
-
2018/05/25
[isabelle-dev] NEWS: command 'ML_export'
Makarius
-
2018/05/22
Re: [isabelle-dev] Cannot build HOL (again)
Lars Hupel
-
2018/05/22
Re: [isabelle-dev] Cannot build HOL (again)
Lawrence Paulson
-
2018/05/21
[isabelle-dev] HOL-ODE-Numerics FAILED
Florian Haftmann
-
2018/05/21
Re: [isabelle-dev] Cannot build HOL (again)
Florian Haftmann
-
2018/05/21
Re: [isabelle-dev] Cannot build HOL (again)
Lawrence Paulson
-
2018/05/21
Re: [isabelle-dev] Cannot build HOL (again)
Manuel Eberl
-
2018/05/21
[isabelle-dev] Cannot build HOL (again)
Lawrence Paulson
-
2018/05/17
Re: [isabelle-dev] HOL-Algebra
Florian Haftmann
-
2018/05/17
Re: [isabelle-dev] Slowdown of ConcurrentGC
Florian Haftmann
-
2018/05/16
Re: [isabelle-dev] I/O error in isabelle build
Makarius
-
2018/05/16
[isabelle-dev] I/O error in isabelle build
Lars Hupel
-
2018/05/15
Re: [isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)
Lawrence Paulson
-
2018/05/15
Re: [isabelle-dev] HOL-Algebra
Makarius
-
2018/05/15
Re: [isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)
Makarius
-
2018/05/15
Re: [isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)
Fabian Immler
-
2018/05/14
Re: [isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)
Fabian Immler
-
2018/05/12
Re: [isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)
Makarius
-
2018/05/12
Re: [isabelle-dev] Slowdown of ConcurrentGC
Makarius
-
2018/05/12
Re: [isabelle-dev] NEWS: Isabelle server
Christian Sternagel
-
2018/05/12
Re: [isabelle-dev] HOL-Algebra
Lawrence Paulson
-
2018/05/11
Re: [isabelle-dev] Deadlock while building HOL-Proof
Makarius
-
2018/05/11
Re: [isabelle-dev] Possible non-determinism in HOL-ODE-Numerics
Makarius
-
2018/05/11
Re: [isabelle-dev] HOL-Algebra
Makarius
-
2018/05/11
[isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)
Makarius
-
2018/05/11
[isabelle-dev] Slowdown of ConcurrentGC
Makarius
-
2018/05/11
Re: [isabelle-dev] Possible non-determinism in HOL-ODE-Numerics
Lars Hupel
-
2018/05/11
Re: [isabelle-dev] Possible non-determinism in HOL-ODE-Numerics
Lars Hupel
-
2018/05/10
[isabelle-dev] Possible non-determinism in HOL-ODE-Numerics
Lars Hupel
-
2018/05/09
Re: [isabelle-dev] Deadlock while building HOL-Proof
Makarius
-
2018/05/09
Re: [isabelle-dev] NEWS: Isabelle server
Makarius
-
2018/05/09
Re: [isabelle-dev] bad session structure
Lawrence Paulson
-
2018/05/09
Re: [isabelle-dev] bad session structure
Lars Hupel
-
2018/05/09
[isabelle-dev] bad session structure
Lawrence Paulson
-
2018/05/08
Re: [isabelle-dev] HOL-Algebra
Manuel Eberl
-
2018/05/08
[isabelle-dev] HOL-Algebra
Lawrence Paulson
-
2018/05/03
Re: [isabelle-dev] HOL build process hangs
Makarius
-
2018/05/03
Re: [isabelle-dev] HOL build process hangs
Lawrence Paulson
-
2018/05/03
Re: [isabelle-dev] HOL build process hangs
Makarius
-
2018/05/03
Re: [isabelle-dev] HOL build process hangs
Lawrence Paulson
-
2018/05/03
Re: [isabelle-dev] HOL build process hangs
Makarius
-
2018/05/03
[isabelle-dev] HOL build process hangs
Lawrence Paulson
-
2018/05/03
[isabelle-dev] Towards the Isabelle2018 release
Makarius
-
2018/05/01
[isabelle-dev] Paste Deleted
Makarius
-
2018/04/25
Re: [isabelle-dev] Bad session structure: may cause problems with theory imports
Florian Haftmann
-
2018/04/25
[isabelle-dev] Bad session structure: may cause problems with theory imports
Lawrence Paulson
-
2018/04/20
[isabelle-dev] Beyond Java 8: 10.0.1 (current) and 11 LTS (Sep-2018)
Makarius
-
2018/04/20
[isabelle-dev] jdk-8u172
Makarius
-
2018/04/17
[isabelle-dev] NEWS: jedit-5.5.0
Makarius
-
2018/04/16
Re: [isabelle-dev] reflect_poly
Akihisa Yamada
-
2018/04/15
Re: [isabelle-dev] reflect_poly
Manuel Eberl
-
2018/04/15
[isabelle-dev] reflect_poly
Akihisa Yamada
-
2018/03/26
Re: [isabelle-dev] NEWS: Isabelle server
Christian Sternagel
-
2018/03/26
Re: [isabelle-dev] NEWS: Isabelle server
Makarius
-
2018/03/26
Re: [isabelle-dev] NEWS: Isabelle server
Christian Sternagel
-
2018/03/23
Re: [isabelle-dev] NEWS: Isabelle server
Makarius
-
2018/03/23
Re: [isabelle-dev] NEWS: Isabelle server
Christian Sternagel
-
2018/03/22
Re: [isabelle-dev] NEWS: Isabelle server
Makarius
-
2018/03/19
[isabelle-dev] NEWS: Isabelle server
Makarius
-
2018/03/14
Re: [isabelle-dev] Complete Distributive Lattice
Viorel Preoteasa
-
2018/03/12
[isabelle-dev] Request for parser
Sebastiaan Joosten
-
2018/03/10
Re: [isabelle-dev] Complete Distributive Lattice
viorel.preoteasa
-
2018/03/10
Re: [isabelle-dev] Complete Distributive Lattice
viorel.preoteasa
-
2018/03/10
Re: [isabelle-dev] Complete Distributive Lattice
Manuel Eberl
-
2018/03/10
Re: [isabelle-dev] Complete Distributive Lattice
Manuel Eberl
-
2018/03/10
Re: [isabelle-dev] Complete Distributive Lattice
Manuel Eberl
-
2018/03/10
Re: [isabelle-dev] Complete Distributive Lattice
viorel.preoteasa
-
2018/03/10
Re: [isabelle-dev] Complete Distributive Lattice
viorel.preoteasa
-
2018/03/10
Re: [isabelle-dev] Deadlock while building HOL-Proof
Makarius
-
2018/03/10
Re: [isabelle-dev] Complete Distributive Lattice
viorel.preoteasa
-
2018/03/10
Re: [isabelle-dev] Complete Distributive Lattice
Makarius
-
2018/03/09
Re: [isabelle-dev] Complete Distributive Lattice
Manuel Eberl
-
2018/03/09
Re: [isabelle-dev] Complete Distributive Lattice
viorel.preoteasa
-
2018/03/09
Re: [isabelle-dev] DEADLINE EXTENDED: 25th Automated Reasoning Workshop (ARW 2018), University of Cambridge, 12-13/4/18
Makarius
-
2018/03/09
[isabelle-dev] DEADLINE EXTENDED: 25th Automated Reasoning Workshop (ARW 2018), University of Cambridge, 12-13/4/18
Dr A. Koutsoukou-Argyraki
-
2018/03/09
Re: [isabelle-dev] Complete Distributive Lattice
Lawrence Paulson
-
2018/03/08
[isabelle-dev] Complete Distributive Lattice
viorel.preoteasa
-
2018/03/08
Re: [isabelle-dev] Deadlock while building HOL-Proof
Makarius
-
2018/03/08
[isabelle-dev] Further updates on isabelle-dev infrastructure
Makarius
-
2018/03/07
Re: [isabelle-dev] Deadlock while building HOL-Proof
Makarius
-
2018/03/07
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Makarius
-
2018/03/07
Re: [isabelle-dev] Deadlock while building HOL-Proof
Makarius
-
2018/03/06
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Peter Lammich
-
2018/03/05
[isabelle-dev] NEWS: Locale rewrite morphism moved into expressions
Clemens Ballarin
-
2018/03/03
[isabelle-dev] Deadlock while building HOL-Proof
Clemens Ballarin
-
2018/02/27
Re: [isabelle-dev] [isabelle] Matrix-Vector operation
Lawrence Paulson
-
2018/02/27
Re: [isabelle-dev] Fwd: [isabelle] Matrix-Vector operation
Thiemann, Rene
-
2018/02/26
Re: [isabelle-dev] Fwd: [isabelle] Matrix-Vector operation
Fabian Immler
-
2018/02/26
Re: [isabelle-dev] Fwd: [isabelle] Matrix-Vector operation
Lawrence Paulson
-
2018/02/26
Re: [isabelle-dev] Fwd: [isabelle] Matrix-Vector operation
Fabian Immler
-
2018/02/26
[isabelle-dev] Fwd: [isabelle] Matrix-Vector operation
Lawrence Paulson
-
2018/02/25
Re: [isabelle-dev] NEWS: 'interpret' vs. literal facts and locale performance
Makarius
-
2018/02/25
[isabelle-dev] NEWS: 'interpret' vs. literal facts and locale performance
Makarius
-
2018/02/13
Re: [isabelle-dev] lxisabelle/lxcisa* maintenance
Lars Hupel
-
2018/02/12
Re: [isabelle-dev] Bad documentation directory
Makarius
-
2018/02/12
[isabelle-dev] Bad documentation directory
Lars Hupel
-
2018/02/12
Re: [isabelle-dev] lxisabelle/lxcisa* maintenance
Lars Hupel
-
2018/02/10
[isabelle-dev] No performance problem with AFP/Native_Word
Makarius
-
2018/02/10
[isabelle-dev] NEWS: Poly/ML with libgmp on all platforms
Makarius
-
2018/02/09
Re: [isabelle-dev] Code check failed for SML on lxbroy10
Makarius
-
2018/02/09
Re: [isabelle-dev] lxisabelle/lxcisa* maintenance
Makarius
-
2018/02/09
[isabelle-dev] lxisabelle/lxcisa* maintenance
Lars Hupel
-
2018/02/06
Re: [isabelle-dev] NEWS: formal comments
Makarius Wenzel
-
2018/02/06
Re: [isabelle-dev] NEWS: formal comments
Tobias Nipkow
-
2018/02/06
Re: [isabelle-dev] NEWS: formal comments
Lawrence Paulson
-
2018/02/06
[isabelle-dev] Code check failed for SML on lxbroy10
Fabian Immler
-
2018/02/06
[isabelle-dev] 25th Automated Reasoning Workshop (ARW 2018), University of Cambridge, 12-13 April 2018
Dr A. Koutsoukou-Argyraki
-
2018/02/03
[isabelle-dev] Performance problem with AFP/Network_Security_Policy_Verification (theory Code_Char)
Makarius
-
2018/02/02
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Lawrence Paulson
-
2018/02/02
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Makarius
-
2018/02/01
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Lawrence Paulson
-
2018/02/01
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Tobias Nipkow
-
2018/02/01
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Makarius
-
2018/01/31
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Tobias Nipkow
-
2018/01/31
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Makarius
-
2018/01/26
[isabelle-dev] NEWS: formal comments
Makarius
-
2018/01/24
[isabelle-dev] jdk-8u162
Makarius
-
2018/01/19
Re: [isabelle-dev] Gromov Hyperbolicity
Manuel Eberl
-
2018/01/19
Re: [isabelle-dev] Gromov Hyperbolicity
Tjark Weber
-
2018/01/18
Re: [isabelle-dev] Gromov Hyperbolicity
Lawrence Paulson
-
2018/01/18
Re: [isabelle-dev] Gromov Hyperbolicity
Manuel Eberl
-
2018/01/18
Re: [isabelle-dev] Gromov Hyperbolicity
Tobias Nipkow
-
2018/01/18
Re: [isabelle-dev] Gromov Hyperbolicity
Lawrence Paulson
-
2018/01/18
Re: [isabelle-dev] Gromov Hyperbolicity
Fabian Immler
-
2018/01/18
Re: [isabelle-dev] Gromov Hyperbolicity
Tobias Nipkow
-
2018/01/18
Re: [isabelle-dev] Gromov Hyperbolicity
Tobias Nipkow
-
2018/01/18
Re: [isabelle-dev] Gromov Hyperbolicity
Lawrence Paulson
-
2018/01/18
Re: [isabelle-dev] New AFP entry Gromov Hyperbolicity in devel
Lawrence Paulson
-
2018/01/18
Re: [isabelle-dev] Gromov Hyperbolicity
Fabian Immler
-
2018/01/17
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Tobias Nipkow
-
2018/01/17
[isabelle-dev] Gromov Hyperbolicity
Tobias Nipkow
-
2018/01/17
[isabelle-dev] New AFP entry Gromov Hyperbolicity in devel
Tobias Nipkow
-
2018/01/16
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Peter Lammich
-
2018/01/16
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Blanchette, J.C.
-
2018/01/16
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Lawrence Paulson
-
2018/01/16
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Andreas Lochbihler
-
2018/01/16
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Lawrence Paulson
-
2018/01/16
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Blanchette, J.C.
-
2018/01/14
Re: [isabelle-dev] Up-to-date instructions for 'isabelle afp_build -A'
Gerwin.Klein
-
2018/01/14
Re: [isabelle-dev] NEWS: formal comments for inner syntax etc.
Makarius
-
2018/01/14
Re: [isabelle-dev] Up-to-date instructions for 'isabelle afp_build -A'
Makarius
-
2018/01/14
[isabelle-dev] Up-to-date instructions for 'isabelle afp_build -A'
Clemens Ballarin
-
2018/01/11
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Tobias Nipkow
-
2018/01/11
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Tobias Nipkow
-
2018/01/11
[isabelle-dev] NEWS: Prover IDE completion templates
Makarius
-
2018/01/11
[isabelle-dev] NEWS: formal comments for inner syntax etc.
Makarius
-
2018/01/11
[isabelle-dev] NEWS: Pure as default presentation context
Makarius
-
2018/01/11
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Makarius
-
2018/01/11
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Makarius
-
2018/01/11
Re: [isabelle-dev] NEWS: op <infix> -> (<infix>)
Makarius