Commits · master · Nicola Botta / papers

29 Nov, 2021 1 commit
- Added TiPES contribution number (138). · fe5cb88a
  Nicola Botta authored Nov 29, 2021
  
  fe5cb88a
25 Nov, 2021 1 commit
- Synchronizing with RUU_ENMO_submitted_2021-11-23.pdf / ENMO-D-21-00334.pdf · 37376472
  Nicola Botta authored Nov 25, 2021
  
  37376472
22 Nov, 2021 2 commits
- Added submission data and instructions for building and type checking. · ef375357
  Nicola Botta authored Nov 22, 2021
  
  ef375357
- ENMO submission. · 69dab95e
  Nicola Botta authored Nov 22, 2021
  
  69dab95e
25 Oct, 2021 1 commit
- Initial. · ab395837
  Nicola Botta authored Oct 25, 2021
  
  ab395837
23 Sep, 2021 4 commits
- Final. · 5ec4897e
  Nicola Botta authored Sep 23, 2021
  
  5ec4897e
- Final. · 001d4f0b
  Nicola Botta authored Sep 23, 2021
  
  001d4f0b
- Merge branch 'master' of gitlab.pik-potsdam.de:botta/papers · c1f2186a
  Nicola Botta authored Sep 23, 2021
  
  c1f2186a
- Final. · 11a4dd0c
  Nicola Botta authored Sep 23, 2021
  
  11a4dd0c
23 Jul, 2021 1 commit
- Revision 2. · a09e0e8f
  Nuria Brede authored Jul 23, 2021
  
  a09e0e8f
14 Jul, 2021 1 commit
- Initial. · c06d4c30
  Nicola Botta authored Jul 14, 2021
  
  c06d4c30
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