Commits · 945150989e340e96e543fa80dfb9a1ae225ca3bb · Nicola Botta / papers

25 Feb, 2021 4 commits
- Merge branch 'master' of gitlab.pik-potsdam.de:botta/papers · 94515098
  Nuria Brede authored Feb 25, 2021
  
  94515098
- Minor fixes. · cc3748bb
  Nuria Brede authored Feb 25, 2021
  
  cc3748bb
- Added IdrisLibs version. · 9514aea7
  Nicola Botta authored Feb 25, 2021
  
  9514aea7
- Simplified, minor corrections. · d9d54432
  Nicola Botta authored Feb 25, 2021
  
  d9d54432
24 Feb, 2021 4 commits
- Initial. · f2f3da93
  Nuria Brede authored Feb 24, 2021
  
  f2f3da93
- Merge branch 'master' of gitlab.pik-potsdam.de:botta/papers · 538b91b1
  Nuria Brede authored Feb 24, 2021
  
  538b91b1
- Update instructions. · 4118ca1d
  Nuria Brede authored Feb 24, 2021
  
  4118ca1d
- Renamed 'valval.ipkg' to 'code.ipkg'. · 3fc8ede2
  Nicola Botta authored Feb 24, 2021
  
  3fc8ede2
23 Feb, 2021 9 commits
- Update. · 29cbe7a1
  Nuria Brede authored Feb 23, 2021
  
  29cbe7a1
- Merge branch 'master' of gitlab.pik-potsdam.de:botta/papers · 38292bb6
  Nuria Brede authored Feb 23, 2021
  
  38292bb6
- Initial. · 12723851
  Nuria Brede authored Feb 23, 2021
  
  12723851
- Add new directory · b7f633df
  Nuria Brede authored Feb 23, 2021
  
  b7f633df
- Initial. · e0f847b0
  Nuria Brede authored Feb 23, 2021
  
  e0f847b0
- Renaming. · cb5b4d48
  Nuria Brede authored Feb 23, 2021
  
  cb5b4d48
- Correct links. · 5ed2b4ff
  Nuria Brede authored Feb 23, 2021
  
  5ed2b4ff
- Initial. · e6c7245c
  Nuria Brede authored Feb 23, 2021
  
  e6c7245c
- Update README. · 8e0120fa
  Nuria Brede authored Feb 23, 2021
  
  8e0120fa
21 Feb, 2021 1 commit
- Initial. · 6d531937
  Nicola Botta authored Feb 21, 2021
  
  6d531937
20 Feb, 2021 2 commits
- Initial. · af266760
  Nicola Botta authored Feb 20, 2021
  
  af266760
- Initial. · 9dd555c4
  Nicola Botta authored Feb 20, 2021
  
  9dd555c4