Skip to content

Pull requests: UniFormal/MMT

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Fix a typo in README
#590 opened Jul 24, 2024 by pitmonticone Loading…
fix deploy/run-file
#589 opened Jul 11, 2024 by bessw Loading…
Added a relative path for archives repo to MagicTest
#588 opened Jul 11, 2024 by bessw Loading…
fix direction of unicode arrows in latex map
#583 opened Sep 18, 2023 by flogth Loading…
Interactiveprover
#570 opened May 25, 2022 by florian-rabe Loading…
Sage: Add Docstring to OMDoc-Export
#565 opened Jul 21, 2021 by ja-albert Loading…
isabelle: fix ULO namepsace
#521 opened Jun 9, 2020 by kissen Loading…
ProTip! Adding no:label will show everything without a label.