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