Page Menu
Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Queries
Open Tasks
All Tasks
Tag: isabelle-release
Tag: provers
Search
Advanced Search
Create Task
Maniphest
Advanced Search
Advanced Search
Query
Assigned To
Tags
Authors
Subscribers
Statuses
Priorities
Open Parents
(Show All)
Show Only Tasks With Open Parents
Show Only Tasks Without Open Parents
Open Subtasks
(Show All)
Show Only Tasks With Open Subtasks
Show Only Tasks Without Open Subtasks
Group By
Priority
Assigned
Status
Project
None
Order By
Priority
Date Updated (Latest First)
Date Updated (Oldest First)
Creation (Newest First)
Creation (Oldest First)
Date Closed (Latest First)
Title
Relevance
Created After
Created Before
Updated After
Updated Before
Closed After
Closed Before
Closed By
Page Size
Search