Cl-isabelle-users January 2021 Archives by date

• January 2021 messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...
• List archive Table of Contents

• Fri, 01 Jan 2021
  • Re: [isabelle] Isabelle2021-RC0: Java/VM monitor - Makarius, makarius at sketis.net
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Lawrence Paulson, lp15 at cam.ac.uk
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
• Sat, 02 Jan 2021
  • [isabelle] Cannot load theory when building - Kawin Worrasangasilpa, kw448 at cam.ac.uk
  • Re: [isabelle] Cannot load theory when building - Makarius, makarius at sketis.net
  • Re: [isabelle] quote in mixfix annotation - Makarius, makarius at sketis.net
  • Re: [isabelle] Issue with Isabelle/jEdit in fullscreen mode in macOS Big Sur - Makarius, makarius at sketis.net
  • Re: [isabelle] Question about "try" and future tasks - Makarius, makarius at sketis.net
  • Re: [isabelle] Bug report Isabelle 2019 and Isabelle 2020 - Makarius, makarius at sketis.net
  • Re: [isabelle] Using LaTeX output print mode for source text - Makarius, makarius at sketis.net
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Lawrence Paulson, lp15 at cam.ac.uk
• Sun, 03 Jan 2021
  • [isabelle] Bootstrap problem in Isabelle2021-RC1: Consumer thread failure: "Isabelle.Session.manager" - Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
  • Re: [isabelle] Bootstrap problem in Isabelle2021-RC1: Consumer thread failure: "Isabelle.Session.manager" - Makarius, makarius at sketis.net
  • Re: [isabelle] Apple switching to ARM - Makarius, makarius at sketis.net
  • Re: [isabelle] Any fans of "try"? - Makarius, makarius at sketis.net
  • Re: [isabelle] sledgehammer (or Z3) internal error - Makarius, makarius at sketis.net
  • Re: [isabelle] Custom fonts in browser_info html? - Makarius, makarius at sketis.net
  • Re: [isabelle] Sledgehammer errors (Isabelle 2020) - Makarius, makarius at sketis.net
  • [isabelle] CfP Theorem Proving Components for Educational Software at CADE-28 - Walther Neuper, walther.neuper at jku.at
  • Re: [isabelle] Isabelle2021-RC0: Java/VM monitor - Eugene W. Stark, isabelle-users at starkeffect.com
  • Re: [isabelle] Sledgehammer errors (Isabelle 2020) - Mathias Fleury, mathias.fleury12 at gmail.com
  • [isabelle] Go-to-definition doesn't work when exploring library. - Jakub Kądziołka, kuba at kadziolka.net
• Mon, 04 Jan 2021
  • [isabelle] low-level code formalisations in Isabelle - Buday Gergely via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Go-to-definition doesn't work when exploring library. - Makarius, makarius at sketis.net
  • [isabelle] FSCD 2021: Second Call for Papers - Carsten Fuhs, carsten at dcs.bbk.ac.uk
  • [isabelle] Fwd: Re: Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Thomas Sewell, tals4 at cam.ac.uk
  • [isabelle] Research assistant/associate position at Imperial College London - Lorenzo Gheri, lor.gheri at gmail.com
• Tue, 05 Jan 2021
  • [isabelle] Questionnaire on deployed verified systems - Alexander Kogtenkov via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • [isabelle] Questions about "transfer" - Manuel Eberl, eberlm at in.tum.de
  • [isabelle] ITP2021: Second Call for Workshops (Deadline 11 January 2021) - itp2021-workshops, itp2021-workshops at easyconferences.eu
  • Re: [isabelle] Questions about "transfer" - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
  • [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Eugene W. Stark, isabelle-users at starkeffect.com
• Wed, 06 Jan 2021
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Mathias Fleury, mathias.fleury12 at gmail.com
  • [isabelle] Call for Papers: Tests and Proofs 2021 (TAP 2021) - Frederic Loulergue, frederic.loulergue at univ-orleans.fr
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Eugene W. Stark, isabelle-users at starkeffect.com
  • [isabelle] Isabelle2021-RC1 - editing below sometimes causes rechecking above? - Eugene W. Stark, isabelle-users at starkeffect.com
  • [isabelle] Isabelle2021-RC1 - error highlighting - Mathias Fleury, mathias.fleury12 at gmail.com
  • [isabelle] fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13) - Andrei Popescu, andrei.h.popescu at gmail.com
  • Re: [isabelle] Questions about "transfer" - Andreas Lochbihler, mail at andreas-lochbihler.de
  • Re: [isabelle] Questions about "transfer" - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
• Thu, 07 Jan 2021
  • Re: [isabelle] Isabelle2021-RC1 - error highlighting - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC1 - error highlighting - Mathias Fleury, mathias.fleury12 at gmail.com
• Fri, 08 Jan 2021
  • Re: [isabelle] Custom fonts in browser_info html? - Dr. Brendan Patrick Mahony, mahonybp at tpg.com.au
  • [isabelle] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021) - Peter Achten, P.Achten at cs.ru.nl
  • Re: [isabelle] Custom fonts in browser_info html? - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC1 - editing below sometimes causes rechecking above? - Fabian Immler via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Isabelle2021-RC1 - error highlighting - Makarius, makarius at sketis.net
  • [isabelle] Variable both free and bound?! - Jakub Kądziołka, kuba at kadziolka.net
• Sat, 09 Jan 2021
  • [isabelle] Isabelle2021-RC1 - sledgehammer suggestion "by presburger" sometimes fails - Eugene W. Stark, isabelle-users at starkeffect.com
  • [isabelle] Strange "Tactic failed" error in lift_definition with (code_dt) seemingly depending on syntactic details - Florian Märkl, isabelle-users at florianmaerkl.de
  • [isabelle] Detecting undefined - David Kretzmer, david.k at posteo.de
• Sun, 10 Jan 2021
  • [isabelle] brute force search in lists - Stepan Holub, holub at karlin.mff.cuni.cz
  • [isabelle] Isabelle 2021-RC1: Problem with fonts in jEdit - Thiemann, René, Rene.Thiemann at uibk.ac.at
  • [isabelle] Isabelle2021-RC2 available for testing - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC0: Java/VM monitor - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC1 - editing below sometimes causes rechecking above? - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC1 - editing below sometimes causes rechecking above? - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle 2021-RC1: Problem with fonts in jEdit - Makarius, makarius at sketis.net
  • Re: [isabelle] Issue with Isabelle/jEdit in fullscreen mode in macOS Big Sur - Makarius, makarius at sketis.net
  • Re: [isabelle] Variable both free and bound?! - Buday Gergely István via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Variable both free and bound?! - Jakub Kądziołka, kuba at kadziolka.net
  • Re: [isabelle] Variable both free and bound?! - Makarius, makarius at sketis.net
  • [isabelle] F-IDE 2021 - 2nd Call for Papers - Makarius, makarius at sketis.net
  • Re: [isabelle] Debug facilities of locales - Makarius, makarius at sketis.net
  • Re: [isabelle] Variable both free and bound?! - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC0: Java/VM monitor - Eugene W. Stark, isabelle-users at starkeffect.com
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Eugene W. Stark, isabelle-users at starkeffect.com
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Jakub Kądziołka, kuba at kadziolka.net
• Mon, 11 Jan 2021
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Mathias Fleury, mathias.fleury12 at gmail.com
  • Re: [isabelle] brute force search in lists - Manuel Eberl, eberlm at in.tum.de
  • Re: [isabelle] Detecting undefined - Tobias Nipkow, nipkow at in.tum.de
  • Re: [isabelle] Detecting undefined - Manuel Eberl, eberlm at in.tum.de
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Eugene W. Stark, isabelle-users at starkeffect.com
  • Re: [isabelle] Detecting undefined - David Kretzmer, david.k at posteo.de
  • Re: [isabelle] Detecting undefined - Lawrence Paulson, lp15 at cam.ac.uk
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Makarius, makarius at sketis.net
  • Re: [isabelle] Detecting undefined - David Kretzmer, david.k at posteo.de
  • Re: [isabelle] Isabelle 2021-RC1: Problem with fonts in jEdit - Thiemann, René, Rene.Thiemann at uibk.ac.at
  • [isabelle] Updating AFP entry - Pedro Sánchez Terraf, sterraf at famaf.unc.edu.ar
• Tue, 12 Jan 2021
  • Re: [isabelle] Updating AFP entry - Tobias Nipkow, nipkow at in.tum.de
  • [isabelle] New in the AFP: The HOL-CSP Refinement Toolkit - Manuel Eberl, eberlm at in.tum.de
  • Re: [isabelle] Updating AFP entry - Gerwin Klein, kleing at unsw.edu.au
  • [isabelle] Isabelle2021-RC2: slight regression in HTML output - Jakub Kądziołka, kuba at kadziolka.net
  • [isabelle] AFP 2021 preparations - Gerwin Klein, kleing at unsw.edu.au
• Wed, 13 Jan 2021
  • [isabelle] New AFP entry: JinjaDCI: a Java semantics with dynamic class initialization - Tobias Nipkow, nipkow at in.tum.de
  • [isabelle] SMT 2021 Workshop: Call for Papers - Nadel, Alexander, alexander.nadel at intel.com
  • [isabelle] Some lemmas on factorial rings - Jakub Kądziołka, kuba at kadziolka.net
• Thu, 14 Jan 2021
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Mathias Fleury, mathias.fleury12 at gmail.com
  • Re: [isabelle] Lemma suggestion to Function_Algebras - Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
  • Re: [isabelle] Some lemmas on factorial rings - Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Thomas Sewell, tals4 at cam.ac.uk
• Fri, 15 Jan 2021
  • Re: [isabelle] AFP 2021 preparations - Gerwin Klein, kleing at unsw.edu.au
  • [isabelle] [CFP] Logical Frameworks and Meta-Languages: Theory and Practice - Enrico Tassi, Enrico.Tassi at inria.fr
  • [isabelle] Two questions about the availability of certain functionality from the public interface associated with the Isabelle/ML infrastructure - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
• Sat, 16 Jan 2021
  • Re: [isabelle] Two questions about the availability of certain functionality from the public interface associated with the Isabelle/ML infrastructure - Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
  • [isabelle] Isabelle keywords - Stephan Merz, stephan.merz at loria.fr
  • Re: [isabelle] Isabelle keywords - Makarius, makarius at sketis.net
  • Re: [isabelle] Two questions about the availability of certain functionality from the public interface associated with the Isabelle/ML infrastructure - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
  • [isabelle] Fwd: ITP 2021: Third Call for Papers - Cezary Kaliszyk, cezarykaliszyk at gmail.com
• Sun, 17 Jan 2021
  • [isabelle] Epigenetics and similar Phenomena - Jens-D. Doll, jens.doll at live.de
  • [isabelle] Derive bounded sets from extended nat - Kruse, Kevin, kevin.kruse at rwth-aachen.de
  • [isabelle] Some lemmas with a combinatoric flavor - Jakub Kądziołka, kuba at kadziolka.net
• Mon, 18 Jan 2021
  • Re: [isabelle] Derive bounded sets from extended nat - Manuel Eberl, eberlm at in.tum.de
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Pedro Sánchez Terraf, sterraf at famaf.unc.edu.ar
  • [isabelle] Translating from Isar to ML? - Albert Jiang, albert594250 at gmail.com
  • Re: [isabelle] Derive bounded sets from extended nat - Kevin Kruse, kevin.kruse at rwth-aachen.de
• Tue, 19 Jan 2021
  • [isabelle] ATVA 2021 - Call for Papers - Giles Reger, giles.reger at manchester.ac.uk
  • Re: [isabelle] Some lemmas with a combinatoric flavor - Tobias Nipkow, nipkow at in.tum.de
  • Re: [isabelle] Translating from Isar to ML? - Makarius, makarius at sketis.net
  • [isabelle] Isabelle2021-RC2: Problems downloading - Dominique Unruh, unruh at ut.ee
  • [isabelle] CFP: HCSS 2021 - High Confidence Software and Systems Conference - Dey, Katie, katie.dey at vanderbilt.edu
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Manuel Eberl, eberlm at in.tum.de
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Dominique Unruh, unruh at ut.ee
  • Re: [isabelle] Translating from Isar to ML? - Albert Jiang, albert594250 at gmail.com
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - marco caminati via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Translating from Isar to ML? - Dominique Unruh, unruh at ut.ee
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Dominique Unruh, unruh at ut.ee
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - marco caminati via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Translating from Isar to ML? - Albert Jiang, albert594250 at gmail.com
  • [isabelle] Console errors in AFP build after push - Pedro Sánchez Terraf, sterraf at famaf.unc.edu.ar
  • Re: [isabelle] Console errors in AFP build after push - Tobias Nipkow, nipkow at in.tum.de
  • Re: [isabelle] Translating from Isar to ML? - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Makarius, makarius at sketis.net
  • [isabelle] Blog entry: Release Candidates for Isabelle2021 - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Manuel Eberl, eberlm at in.tum.de
  • [isabelle] Isabelle2021-RC2, Isabelle/jEdit getting sluggish - Norbert Schirmer via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Isabelle2021-RC2, Isabelle/jEdit getting sluggish - Makarius, makarius at sketis.net
  • Re: [isabelle] Console errors in AFP build after push - Tobias Nipkow, nipkow at in.tum.de
• Wed, 20 Jan 2021
  • [isabelle] Isabelle document generation and ACM and LIPIcs LaTeX styles - Tobias Nipkow, nipkow at in.tum.de
  • Re: [isabelle] Some lemmas with a combinatoric flavor - Tobias Nipkow, nipkow at in.tum.de
• Fri, 22 Jan 2021
  • [isabelle] [Lambda Days + TFP + TFPIE 2021] call for participation - Peter Achten, P.Achten at cs.ru.nl
  • [isabelle] CADE-28: $n$th call for papers - Jasmin Blanchette via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
• Sat, 23 Jan 2021
  • Re: [isabelle] Isabelle document generation and ACM and LIPIcs LaTeX styles - Makarius, makarius at sketis.net
• Sun, 24 Jan 2021
  • [isabelle] Isabelle2021-RC3 available for testing - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC3: update of Scala, but not OpenJDK - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC2, Isabelle/jEdit getting sluggish - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC2: slight regression in HTML output - Makarius, makarius at sketis.net
  • Re: [isabelle] Bug report Isabelle 2019 and Isabelle 2020 - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC3: update of Scala, but not OpenJDK - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC2: slight regression in HTML output - Jakub Kądziołka, kuba at kadziolka.net
  • [isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
  • Re: [isabelle] AFP 2021 preparations - Gerwin Klein, kleing at unsw.edu.au
• Mon, 25 Jan 2021
  • Re: [isabelle] AFP 2021 preparations - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Lawrence Paulson, lp15 at cam.ac.uk
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Lawrence Paulson, lp15 at cam.ac.uk
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Frédéric Boulanger, frederic.boulanger at lri.fr
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Lawrence Paulson, lp15 at cam.ac.uk
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Makarius, makarius at sketis.net
  • Re: [isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour - Makarius, makarius at sketis.net
  • Re: [isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
  • Re: [isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour - Mikhail Chekhov, mikhail.chekhov.w at gmail.com
  • Re: [isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Pedro Sánchez Terraf, sterraf at famaf.unc.edu.ar
  • Re: [isabelle] AFP 2021 preparations - Gerwin Klein, kleing at unsw.edu.au
• Tue, 26 Jan 2021
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Lawrence Paulson, lp15 at cam.ac.uk
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Frédéric Boulanger, frederic.boulanger at lri.fr
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Jakub Kądziołka, kuba at kadziolka.net
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Frédéric Boulanger, frederic.boulanger at lri.fr
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Makarius, makarius at sketis.net
  • [isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] - Fernandez, Matthew, matthew.fernandez at intel.com
  • Re: [isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC3: Java 11 (LTS) vs. Java 15 (MTS) - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Manuel Eberl, eberlm at in.tum.de
  • Re: [isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] - Frédéric Boulanger, frederic.boulanger at lri.fr
  • Re: [isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] - Fernandez, Matthew, matthew.fernandez at intel.com
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Makarius, makarius at sketis.net
  • [isabelle] CFP: Workshop on the Role of Mathematical Reasoning in General Artificial Intelligence at ICLR 2021 - Wenda Li, wl302 at cam.ac.uk
• Wed, 27 Jan 2021
  • [isabelle] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021 - Serge Autexier, serge.autexier at dfki.de
  • Re: [isabelle] Isabelle2021-RC3: Java 11 (LTS) vs. Java 15 (MTS) - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Makarius, makarius at sketis.net
  • [isabelle] "Files and Folders" permissions cannot be granted - Alessandro Cogliati via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Eugene W. Stark, isabelle-users at starkeffect.com
• Thu, 28 Jan 2021
  • [isabelle] UTF8 chars behavior - Pedro Sánchez Terraf, sterraf at famaf.unc.edu.ar
  • Re: [isabelle] UTF8 chars behavior - Makarius, makarius at sketis.net
  • Re: [isabelle] "Files and Folders" permissions cannot be granted - Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Thomas Sewell, tals4 at cam.ac.uk
  • [isabelle] Configurable proposition grammar root symbol for easier definition of custom outer syntax commands. - Daniel Kirchner, daniel at ekpyron.org
• Fri, 29 Jan 2021
  • Re: [isabelle] "Files and Folders" permissions cannot be granted - Christian Sternagel, c.sternagel at gmail.com
• Sat, 30 Jan 2021
  • Re: [isabelle] "Files and Folders" permissions cannot be granted - Jørgen Villadsen via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • [isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) - Alex Meyer, alex153 at outlook.lv
  • [isabelle] Assistant/associate professorship in Copenhagen or Aalborg at Aalborg University - Anders Schlichtkrull, andsch at cs.aau.dk
• Sun, 31 Jan 2021
  • [isabelle] Transfer Question - David E. Narvaez, den9562 at rit.edu
  • [isabelle] Pārs.: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) - Alex Meyer, alex153 at outlook.lv
  • [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Eugene W. Stark, isabelle-users at starkeffect.com
  • Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Mathias Fleury, mathias.fleury12 at gmail.com
  • Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Eugene W. Stark, isabelle-users at starkeffect.com
  • Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Mathias Fleury, mathias.fleury12 at gmail.com
  • Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Eugene W. Stark, isabelle-users at starkeffect.com