Maniphest All Tasks

All Tasks
Use Results
Edit Query
Hide Query

High (3)

T12 Hosting of Isabelle/AFP after Jun-2020
isabelle-release
Jun 26 2020, 4:39 PM
Assigned: makarius
T6 Proper app support for macOS 10.15 Catalina
isabelle-release
Dec 1 2019, 9:34 PM
Assigned: makarius
T3 Adapt Isabelle/VSCode to Webview API
isabelle-release
Feb 26 2020, 4:30 PM
Assigned: makarius

Normal (21)

T37 macOS app bundle cannot access folders Desktop, Documents, Downloads
isabelle-release
Tue, Jan 26, 11:14 PM
Assigned: makarius
T36 Bad rendering of JTabbedPane on macOS BigSur
No Projects
Jan 9 2021, 1:17 AM
Assigned: makarius
T35 Isabelle/jEdit full-screen problem with macOS Big Sur
isabelle-release
Jan 18 2021, 7:44 PM
Assigned: makarius
T34 Update component for Vampire
isabelle-release
provers
Jan 7 2021, 1:52 PM
Assigned: makarius
T33 Update to jdk-11.0.10, notably for macOS Big Sur
isabelle-release
Jan 7 2021, 2:02 PM
Assigned: makarius
T32 Odd font rendering problem with jdk-11.0.9 on Windows
isabelle-release
Jan 9 2021, 1:17 AM
Assigned: makarius
T31 Improve robustness of multithreaded Kodkod in Isabelle/Scala
isabelle-release
Jan 7 2021, 1:39 PM
T30 Component and Isabelle/ML setup for Zipperposition
provers
Jan 7 2021, 1:17 PM
Assigned: makarius
T29 Update component for Z3
provers
Dec 18 2020, 12:19 PM
T28 Update component for CVC4
isabelle-release
provers
Nov 22 2020, 1:45 PM
Assigned: makarius
T27 Update component for SPASS
isabelle-release
provers
Oct 29 2020, 2:35 PM
Assigned: makarius
T26 Update component for E prover
isabelle-release
provers
Oct 29 2020, 2:30 PM
Assigned: makarius
T25 Update component for veriT
isabelle-release
provers
Oct 31 2020, 7:18 AM
Assigned: mathias.fleury
T24 Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon)
isabelle-release
provers
Jan 7 2021, 1:37 PM
Assigned: makarius
T19 More robust isabelle dump (notably for AFP)
isabelle-release
Apr 2 2020, 1:08 PM
Assigned: makarius
T18 Isabelle/jEdit default font sizes for Linux/Metal, to work better with UHD/4K
isabelle-release
Mar 12 2020, 11:08 PM
Assigned: makarius
T17 Proper treatment of hidden polymorphism in proof terms
isabelle-release
Apr 2 2020, 1:11 PM
Assigned: makarius
T16 Clarify indentation after 'oops'
No Projects
Feb 25 2020, 11:52 AM
T15 Localized record package
No Projects
Feb 19 2020, 8:48 PM
T13 Isabelle/jEdit indenting
No Projects
Jan 9 2021, 1:18 AM
Assigned: makarius
T4 Explore Java Chromium Embedded for HTML/CSS/JS within Swing
No Projects
Sep 30 2019, 4:46 PM

Low (8)

T22 Discontinue obsolete Theory_Data.extend
No Projects
Jul 21 2020, 12:52 PM
T21 Unexpected failure of method "algebra"
No Projects
May 12 2020, 4:56 PM
T11 HOL-Quickcheck_Examples fails on Windows
No Projects
Jan 16 2020, 4:07 PM
T10 Font rendering quality in OpenJDK 11 vs. 13
No Projects
Jan 16 2020, 12:08 PM
T9 Evaluate https://discourse.org as replacement for mailman, stackoverflow
No Projects
Mar 24 2020, 1:25 PM
Assigned: makarius
T8 Clarify underlying Mercurial version
phabricator-setup
isabelle-release
Feb 14 2020, 9:27 PM
Assigned: makarius
T5 Syntax highlighting via pygments (for Isabelle/ML, Isabelle/Isar etc.)
phabricator-setup
Sep 27 2019, 7:12 PM
Assigned: makarius
T2 SSH port for hosted repository access
phabricator-setup
Sep 25 2019, 8:40 PM
Assigned: makarius

Wishlist (5)

T23 More compact representation of type instances of term constants
No Projects
Sep 11 2020, 12:34 PM
T20 Sledgehammer/z3: "bad SMT term: _"
provers
Oct 29 2020, 5:20 PM
T14 Fully localized type abbreviations
No Projects
Feb 19 2020, 8:43 PM
T7 Setup Notification server
phabricator-setup
Dec 20 2019, 4:19 PM
Assigned: makarius
T1 Support for Mercurial tags
phabricator-setup
Nov 12 2019, 8:39 PM
Assigned: makarius

All TasksUse ResultsEdit QueryHide Query

High (3)

Normal (21)

Low (8)

Wishlist (5)

All Tasks
Use Results
Edit Query
Hide Query