Commits · master · Nicola Botta / papers

08 Mar, 2021 1 commit
- Sync with unshared/manuscripts/2020.exteqaxiom before submission. · b4e5227f
  Nicola Botta authored Mar 08, 2021
  
  b4e5227f
06 Mar, 2021 2 commits
- Corrected error introduced be previous commit. · 797174ed
  Nicola Botta authored Mar 06, 2021
  
  797174ed
- Sync with unshared/manuscripts/2020.exteqaxiom. · ffaa852e
  Nicola Botta authored Mar 06, 2021
  
  ffaa852e
02 Mar, 2021 1 commit
- Initial. · a33c0e8f
  Nicola Botta authored Mar 02, 2021
  
  a33c0e8f
26 Feb, 2021 3 commits
- Cleanup. · 0ed2486b
  Nicola Botta authored Feb 26, 2021
  
  0ed2486b
- Merge branch 'master' of gitlab.pik-potsdam.de:botta/papers · 6913dac5
  Nicola Botta authored Feb 26, 2021
  
  6913dac5
- Cleanup. · b86b77d6
  Nicola Botta authored Feb 26, 2021
  
  b86b77d6
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