Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
This is an archived project. Repository and other project resources are read-only.
Open
5
Merged
430
Closed
36
All
471
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
ADD back annotation background color
!351
· created
Jan 03, 2022
by
Casey Ydenberg
Merged
updated
Jan 03, 2022
Alter design of inline Comment markers
!350
· created
Dec 31, 2021
by
Casey Ydenberg
Merged
updated
Dec 31, 2021
FIX cursor in FigureElement view ending up in gutter (LEAN-630)
!349
· created
Dec 30, 2021
by
Casey Ydenberg
Merged
2
Approved
updated
Jan 04, 2022
track-changes v0.2.4
!348
· created
Dec 14, 2021
by
Casey Ydenberg
Merged
updated
Dec 14, 2021
WIP simplify editor props
!347
· created
Dec 07, 2021
by
Casey Ydenberg
updated
Jan 06, 2022
0.89.8
!346
· created
Dec 04, 2021
by
Mikhail Bartenev
Merged
1
updated
Dec 04, 2021
Prune dependencies
!345
· created
Nov 29, 2021
by
Casey Ydenberg
quarterback-integration
Closed
updated
Nov 29, 2021
track-changes 0.2.3
!344
· created
Nov 19, 2021
by
Casey Ydenberg
Merged
updated
Nov 19, 2021
0.89.6
!343
· created
Nov 16, 2021
by
Mikhail Bartenev
Merged
updated
Nov 16, 2021
transform-update-0.48.6
!342
· created
Nov 16, 2021
by
Mikhail Bartenev
Merged
updated
Nov 16, 2021
0.89.5
!341
· created
Nov 15, 2021
by
Mikhail Bartenev
Merged
updated
Nov 15, 2021
0.89.4
!340
· created
Nov 15, 2021
by
Mikhail Bartenev
Closed
updated
Dec 04, 2021
LEAN-504 Fixed label for non-lw mode
!339
· created
Nov 15, 2021
by
Mikhail Bartenev
Merged
updated
Nov 15, 2021
0.89.4
!338
· created
Nov 11, 2021
by
Mikhail Bartenev
Merged
updated
Nov 11, 2021
0.89.4
!337
· created
Nov 11, 2021
by
Mikhail Bartenev
Merged
updated
Nov 11, 2021
Fix some bugs in inline accept/reject controls
!336
· created
Nov 10, 2021
by
Casey Ydenberg
Merged
updated
Nov 10, 2021
0.89.2
!335
· created
Nov 10, 2021
by
Mikhail Bartenev
Merged
updated
Nov 10, 2021
Add missing option to track-changes init
!334
· created
Nov 09, 2021
by
Casey Ydenberg
Merged
updated
Nov 09, 2021
Label Editing Support LEAN-504
!333
· created
Nov 05, 2021
by
Mikhail Bartenev
Merged
5
updated
Nov 10, 2021
Fix errors running sandbox environment
!332
· created
Nov 04, 2021
by
Casey Ydenberg
Merged
2
Approved
updated
Nov 05, 2021
Prev
1
…
3
4
5
6
7
8
9
10
11
…
24
Next