Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Kapteyn
ADS2018
Repository
Branches
Overview
Active
Stale
All
Stale branches
master
merged
protected
8fba21fb
·
W1 scripts
·
Nov 16, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jdj/split_tasks
merged
6b4d0219
·
split tasks in separate tex files
·
Dec 05, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
emh/feature/make_copy_paste_from_pdf_work
merged
fb8a4c58
·
Fix to prevent copy-past from the PDF to add spaces.
·
Dec 05, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
emh/feature/updates_for_task2
merged
31e677c8
·
Small textual changes
·
Dec 05, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
emh/feature/task3
merged
97539aed
·
Small textual changes
·
Dec 05, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar