Releases · keithadler/leanstudio

Repository navigation

Release list

Lean Studio 1.9.3 Latest

Latest

github-actions released this 24 Oct 04:37

v1.9.3

76016e2

Full Changelog: v1.9.2...v1.9.3

Assets 10

Lean Studio 1.9.2

github-actions released this 14 Oct 18:09

v1.9.2

654d589

Full Changelog: v1.9.1...v1.9.2

Assets 10

Lean Studio 1.9.1

github-actions released this 13 Oct 02:23

v1.9.1

2f17b68

Full Changelog: v1.9.0...v1.9.1

Assets 10

Lean Studio 1.9.0

github-actions released this 13 Oct 02:20

v1.9.0

c976fc0

Full Changelog: v1.8.2...v1.9.0

Assets 10

Lean Studio 1.8.2

github-actions released this 12 Oct 18:04

v1.8.2

35048b2

Full Changelog: v1.8.1...v1.8.2

Assets 10

Lean Studio 1.8.1

github-actions released this 12 Oct 05:35

v1.8.1

005a443

Full Changelog: v1.8.0...v1.8.1

Assets 10

Lean Studio 1.8.0

github-actions released this 12 Oct 05:21

v1.8.0

189bb77

Full Changelog: v1.7.0...v1.8.0

Assets 10

Lean Studio 1.7.0

github-actions released this 12 Oct 05:22

v1.7.0

6da06c9

Full Changelog: v1.6.0...v1.7.0

Assets 10

Lean Studio 1.6.0

github-actions released this 12 Oct 04:36

v1.6.0

284ff06

What's Changed

Package manifests for 1.5.0 by @keithadler in #5

Full Changelog: v1.5.0...v1.6.0

Contributors

keithadler

Assets 10

Lean Studio 1.5.0

github-actions released this 11 Oct 20:09

v1.5.0

0140b51

Full Changelog: v1.4.0...v1.5.0

Assets 10

Releases: keithadler/leanstudio

Release list

Lean Studio 1.9.3

Uh oh!

Lean Studio 1.9.2

Uh oh!

Lean Studio 1.9.1

Uh oh!

Lean Studio 1.9.0

Uh oh!

Lean Studio 1.8.2

Uh oh!

Lean Studio 1.8.1

Uh oh!

Lean Studio 1.8.0

Uh oh!

Lean Studio 1.7.0

Uh oh!

Lean Studio 1.6.0

What's Changed

Contributors

Uh oh!

Lean Studio 1.5.0

Uh oh!