Skip to content

Releases: EugeneLoy/coq_jupyter

v1.6.2

25 Jan 09:58
@github-actions github-actions
v1.6.2
f6c5989
Compare
Choose a tag to compare
v1.6.2 Latest
Latest 
version bump
Assets 4

v1.6.0

28 Jan 17:58
@EugeneLoy EugeneLoy
v1.6.0
759a5bf
Compare
Choose a tag to compare
v1.6.0 
version bump
Assets 4

v1.5.3

05 Feb 14:48
@EugeneLoy EugeneLoy
v1.5.3
9ae13c0
Compare
Choose a tag to compare
v1.5.3 
version bump
Assets 4

v1.5.2

04 Feb 19:35
@EugeneLoy EugeneLoy
v1.5.2
e62f3e3
Compare
Choose a tag to compare
v1.5.2 
version bump
Assets 4

v1.5.1

20 Jun 20:27
@EugeneLoy EugeneLoy
v1.5.1
e462f89
Compare
Choose a tag to compare
v1.5.1 
version bump
Assets 4

v1.5.0

29 Mar 15:19
@EugeneLoy EugeneLoy
v1.5.0
90ce04f
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.5.0 
Update README.md
Assets 4

v1.4.0

03 Mar 19:45
@EugeneLoy EugeneLoy
v1.4.0
8e601d9
Compare
Choose a tag to compare
v1.4.0 
version bump
Assets 4

v1.3.0

09 Jan 13:55
@EugeneLoy EugeneLoy
v1.3.0
2c31439
Compare
Choose a tag to compare
v1.3.0 
version bump
Assets 4

v1.2.0

06 Jan 12:30
@EugeneLoy EugeneLoy
v1.2.0
04981f5
Compare
Choose a tag to compare
v1.2.0 
version bump
Assets 4

v1.1.0

02 Jan 13:56
@EugeneLoy EugeneLoy
v1.1.0
05f2c5e
Compare
Choose a tag to compare
v1.1.0 
version bump
Assets 4