Skip to content

Pull requests: raffazizzi/coreBuilder

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

Adding file viewing types
#34 opened Mar 18, 2021 by dylan275 Loading…
Scrolling adjustment in all file windows
#33 opened Mar 17, 2021 by dylan275 Loading…
Core download formats
#32 opened Mar 7, 2021 by dylan275 Loading…
Colors variations
#31 opened Feb 18, 2021 by dylan275 Loading…
Core viewing window
#30 opened Feb 13, 2021 by dylan275 Loading…
Variations
#28 opened Jan 28, 2021 by dylan275 Loading…
Addition of a lemma
#27 opened Jan 16, 2021 by dylan275 Loading…
Allow to import a core
#26 opened Jan 16, 2021 by dylan275 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.