Skip to content

Releases: leanprover/vscode-lean

vscode-lean 0.16.19

03 Jan 18:47
@gebner gebner
v0.16.19
65a3544
Compare
Choose a tag to compare
vscode-lean 0.16.19 
v0.16.19

vscode-lean 0.16.19
Assets 3
Loading

vscode-lean 0.16.18

02 Jan 10:47
@gebner gebner
v0.16.18
4a66964
Compare
Choose a tag to compare
vscode-lean 0.16.18 
v0.16.18

vscode-lean 0.16.18
Assets 3
Loading

vscode-lean 0.16.17

04 Dec 14:36
@gebner gebner
v0.16.17
7e99440
Compare
Choose a tag to compare
vscode-lean 0.16.17 
v0.16.17

vscode-lean 0.16.17
Assets 3
Loading

vscode-lean 0.16.16

06 Nov 09:30
@gebner gebner
v0.16.16
0e4fbe2
Compare
Choose a tag to compare
vscode-lean 0.16.16 
v0.16.16

vscode-lean 0.16.16
Assets 3
Loading

vscode-lean 0.16.15

28 Oct 08:40
@gebner gebner
v0.16.15
5382c6a
Compare
Choose a tag to compare
vscode-lean 0.16.15 
v0.16.15

vscode-lean 0.16.15
Assets 3
Loading

vscode-lean 0.16.14

15 Oct 13:12
@gebner gebner
v0.16.14
ffc5e4f
Compare
Choose a tag to compare
vscode-lean 0.16.14 
v0.16.14

vscode-lean 0.16.14
Assets 3
Loading

vscode-lean 0.16.13

28 Aug 11:52
@gebner gebner
v0.16.13
456411a
Compare
Choose a tag to compare
vscode-lean 0.16.13 
v0.16.13

vscode-lean 0.16.13
Assets 3
Loading

vscode-lean 0.16.12

24 Aug 15:35
@gebner gebner
v0.16.12
1a1365e
Compare
Choose a tag to compare
vscode-lean 0.16.12 
v0.16.12

vscode-lean 0.16.12
Assets 3
Loading

vscode-lean 0.16.11

23 Aug 18:10
@gebner gebner
v0.16.11
a03bb89
Compare
Choose a tag to compare
vscode-lean 0.16.11 
v0.16.11

vscode-lean 0.16.11
Assets 3
Loading

vscode-lean 0.16.10

12 Aug 14:42
@gebner gebner
v0.16.10
f30589f
Compare
Choose a tag to compare
vscode-lean 0.16.10 
v0.16.10

vscode-lean 0.16.10
Assets 3
Loading