Page Menu
Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Create Task
Maniphest
T40
Potential problems with isabelle-dev mailing list server
Closed, Resolved
Public
Actions
Edit Task
Edit Related Tasks...
Create Subtask
Edit Parent Tasks
Edit Subtasks
Merge Duplicates In
Close As Duplicate
Edit Related Objects...
Edit Commits
Edit Mocks
Edit Revisions
Subscribe
Mute Notifications
Award Token
Flag For Later
Assigned To
makarius
Authored By
makarius
Nov 12 2021, 10:51 PM
2021-11-12 22:51:45 (UTC+1)
Tags
None
Subscribers
makarius
Description
See
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2021-November/017528.html
Event Timeline
makarius
triaged this task as
High
priority.
Nov 12 2021, 10:51 PM
2021-11-12 22:51:45 (UTC+1)
makarius
created this task.
makarius
closed this task as
Resolved
.
Nov 27 2021, 3:27 PM
2021-11-27 15:27:03 (UTC+1)
makarius
claimed this task.
Log In to Comment