Skip to content
GitLab
Explore
Sign in
Register
Open
4
Merged
38
Closed
19
All
61
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Drop orphan instance when defined upstream.
!12
· created
Aug 16, 2022
by
Matthew Farkas-Dyck
updated
Aug 17, 2022
Support HsToken in DataDecl and ClassDecl
!31
· created
Jun 09, 2023
by
Andrei Borzenkov
Adapt to latest xhtml version, various optimizations
!37
· created
Jul 22, 2023
by
Finley McIlwaine
1
updated
May 22, 2024
Fix HTML selection behavior of declarations
!61
· created
Jul 26, 2024
by
Stephen Judkins
3
3
updated
Aug 08, 2024
