Page MenuHomeIsabelle/Phabricator
Projects isabelle-dev

isabelle-devProject
ArchivedPublic
Watch Project

Members (4)

Watchers

  • This project does not have any watchers.
  • View All

Details

Description

Support for the Isabelle development process: repositories, tasks, etc. This is a continuation of the isabelle-dev mailing list. This does not include access to the Isabelle repository yet (see also isabelle-repository).

NOTE: This group is somehow pointless, as the whole Phabricator installation is meant to support the isabelle-dev process. All registered users can participate by default,

Recent Activity
View All

Nov 20 2023

makarius created Blog Post: Update to OpenJDK 21.
Nov 20 2023, 10:20 PM · isabelle-dev

Oct 22 2023

makarius created Blog Post: ML antiquotation for simproc_setup.
Oct 22 2023, 8:51 PM · isabelle-dev

Oct 17 2023

makarius created Blog Post: Update of GHC stack with full support for ARM64 platforms.
Oct 17 2023, 1:15 PM · isabelle-dev
makarius created Blog Post: Discontinuation of very old Linux and macOS versions.
Oct 17 2023, 1:01 PM · isabelle-dev

Oct 12 2023

makarius created Blog Post: ML: distinguish proper interrupts from Poly/ML RTS breakdown.
Oct 12 2023, 9:57 PM · isabelle-dev

Sep 30 2019

makarius edited Description on isabelle-dev.
Sep 30 2019, 4:50 PM
makarius archived isabelle-dev.
Sep 30 2019, 4:47 PM
makarius added a member for isabelle-dev: alexander.krauss.
Sep 30 2019, 4:45 PM

Sep 26 2019

makarius added a member for isabelle-dev: kappelmann.
Sep 26 2019, 3:20 PM
makarius added a member for isabelle-dev: traytel.
Sep 26 2019, 3:19 PM
makarius edited Description on isabelle-dev.
Sep 26 2019, 11:43 AM

Sep 25 2019

makarius updated the task description for T4: Explore Java Chromium Embedded for HTML/CSS/JS within Swing.
Sep 25 2019, 10:36 PM
makarius triaged T4: Explore Java Chromium Embedded for HTML/CSS/JS within Swing as Normal priority.
Sep 25 2019, 10:36 PM
makarius edited Description on isabelle-dev.
Sep 25 2019, 2:23 PM
makarius edited Description on isabelle-dev.
Sep 25 2019, 2:23 PM
makarius edited Description on isabelle-dev.
Sep 25 2019, 2:21 PM
makarius edited Description on isabelle-dev.
Sep 25 2019, 2:21 PM
makarius triaged T3: Adapt Isabelle/VSCode to Webview API as Normal priority.
Sep 25 2019, 1:52 PM · isabelle-release
makarius claimed T3: Adapt Isabelle/VSCode to Webview API.
Sep 25 2019, 1:52 PM · isabelle-release
makarius added a project to T3: Adapt Isabelle/VSCode to Webview API: isabelle-dev.
Sep 25 2019, 11:04 AM · isabelle-release

Sep 24 2019

makarius edited Description on isabelle-dev.
Sep 24 2019, 11:29 PM
makarius edited Description on isabelle-dev.
Sep 24 2019, 11:23 PM
makarius edited Description on isabelle-dev.
Sep 24 2019, 11:16 PM
makarius added a member for isabelle-dev: makarius.
Sep 24 2019, 10:15 PM
makarius created isabelle-dev.
Sep 24 2019, 10:13 PM