November 2020 Archives by date

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

Starting: Sun Nov 1 17:52:09 CET 2020
Ending: Fri Nov 27 18:46:34 CET 2020
Messages: 37

• [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications   Florian Haftmann
• [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives   Florian Haftmann
• [isabelle-dev] https://isabelle.in.tum.de/components is down   Makarius
• [isabelle-dev] A proposal for the website   Lawrence Paulson
• [isabelle-dev] A proposal for the website   Makarius
• [isabelle-dev] A proposal for the website   Lawrence Paulson
• [isabelle-dev] A proposal for the website   Makarius
• [isabelle-dev] A proposal for the website   Tobias Nipkow
• [isabelle-dev] A proposal for the website   Makarius
• [isabelle-dev] A proposal for the website   Kevin Kappelmann
• [isabelle-dev] A proposal for the website   Lawrence Paulson
• [isabelle-dev] A proposal for the website   Jasmin Blanchette
• [isabelle-dev] A proposal for the website   Lawrence Paulson
• [isabelle-dev] A proposal for the website   Mark Wassell
• [isabelle-dev] A proposal for the website   Makarius
• [isabelle-dev] A proposal for the website   Makarius
• [isabelle-dev] A proposal for the website   Kevin Kappelmann
• [isabelle-dev] A proposal for the website   Mark Wassell
• [isabelle-dev] A proposal for the website   Kevin Kappelmann
• [isabelle-dev] Experimental support for arm64-linux   Lukas Stevens
• [isabelle-dev] Experimental support for arm64-linux   Florian Märkl
• [isabelle-dev] Experimental support for arm64-linux   David Matthews
• [isabelle-dev] Issues with unnamed top-level facts in Isabelle   Fabian Huch
• [isabelle-dev] Issues with unnamed top-level facts in Isabelle   Makarius
• [isabelle-dev] Issues with unnamed top-level facts in Isabelle   Tobias Nipkow
• [isabelle-dev] Issues with unnamed top-level facts in Isabelle   Makarius
• [isabelle-dev] Issues with unnamed top-level facts in Isabelle   Fabian Huch
• [isabelle-dev] Issues with unnamed top-level facts in Isabelle   Tobias Nipkow
• [isabelle-dev] Issues with unnamed top-level facts in Isabelle   Makarius
• [isabelle-dev] Manually using a SideKick parser   MACKENZIE Carlin
• [isabelle-dev] Manually using a SideKick parser   Makarius
• [isabelle-dev] Manually using a SideKick parser   MACKENZIE Carlin
• [isabelle-dev] Fwd: Bug in Isabelle 2019/2020   Peter Reitinger
• [isabelle-dev] Fwd: Bug in Isabelle 2019/2020   Manuel Eberl
• [isabelle-dev] Fwd: Bug in Isabelle 2019/2020   Manuel Eberl
• [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives   Florian Haftmann
• [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives   Florian Haftmann

Last message date: Fri Nov 27 18:46:34 CET 2020
Archived on: Fri Nov 27 18:46:43 CET 2020

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