Page MenuHomePhabricator

isabelle-devProject
ArchivedPublic

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

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
makarius claimed T3: Adapt Isabelle/VSCode to Webview API.
Sep 25 2019, 1:52 PM
makarius added a project to T3: Adapt Isabelle/VSCode to Webview API: isabelle-dev.
Sep 25 2019, 11:04 AM

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