Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v1.1
5bcd2e44
·
ggwp
·
Oct 30, 2023
v1.0
7e4d5ace
·
ggwp
·
Oct 30, 2023
Release:
Release 1.0 - Referee version
marina-v2
1fecf397
·
sync with main
·
Oct 29, 2023
v0.2
a2067716
·
fixing CI to fetch tags
·
Oct 29, 2023
Release:
Pre-release 0.2
v0.1
af25cb7d
·
sentences...
·
Oct 29, 2023
marina-v1
8ba8aa34
·
move old results to appendix
·
Oct 29, 2023
draft_2.2
57776305
·
fixing parentheses
·
Oct 27, 2023
draft_1.2
675a677a
·
fixing parentheses
·
Oct 27, 2023
draft-2.1
0d86e9f6
·
increasing resolution of compression
·
Oct 20, 2023
draft-1.1
5f5f02d2
·
Merge branch 'corrections_draft_1' of...
·
Oct 20, 2023
draft_1.0
0104c13e
·
Merge branch 'chapter_10' into 'main'
·
Oct 07, 2023
chapter_8
3b7f230c
·
Merge branch 'chapter_8' into 'main'
·
Sep 05, 2023
chapter_5
2f4845fc
·
Chapter 4 and 5
·
Jul 30, 2023