Commits · 667e7b9916d04039ad4502d5055499f6a057d75a · ODK / GAP

May 16, 2019
- gaptypes.json: update with more symbols (see gap-packages/MathInTheMiddle) · 8c35d693
  Michael Torpey authored 5 years ago
  
  8c35d693
May 14, 2019
- cleaned up · e12306de
  Dennis Müller authored 5 years ago
  
  e12306de
Jun 03, 2016
- Update gaptypes.json · 7fc0778c
  Markus Pfeiffer authored 8 years ago
  
  7fc0778c
- Update gaptypes.json · 61942079
  Markus Pfeiffer authored 8 years ago
  
  61942079
- Pretty print gaptypes.json · 56118a5d
  Markus Pfeiffer authored 8 years ago
  
  56118a5d
- New gaptypes.json (exported with -A) · c6a5cff0
  Markus Pfeiffer authored 8 years ago
  
  c6a5cff0
- New version of gaptypes.json · ac50105c
  Markus Pfeiffer authored 8 years ago
  
  ac50105c
Jun 01, 2016
- New gaptypes.json · 56a214a5
  Markus Pfeiffer authored 8 years ago
  
  56a214a5
- New gaptypes.json · 69d1cb66
  Markus Pfeiffer authored 8 years ago
  
  Now with locations of DeclareOperation calls
  69d1cb66
Feb 05, 2016
- Pretty print json · d72dd0b2
  Markus Pfeiffer authored 9 years ago
  
  d72dd0b2
- Update gaptypes.json · 8b50d04d
  Markus Pfeiffer authored 9 years ago
  
  8b50d04d
Jan 27, 2016
- Update dump · 7b6943d1
  Markus Pfeiffer authored 9 years ago
  
  7b6943d1
- Update JSON dump · 0a91140f
  Markus Pfeiffer authored 9 years ago
  
  0a91140f
- Update gaptypes.json · 95447a28
  Markus Pfeiffer authored 9 years ago
  
  95447a28
- Add new dump of GAP types · d089d659
  Markus Pfeiffer authored 9 years ago
  
  d089d659
- Newly generated gaptypes.json without line breaks · 0e4e5f68
  Markus Pfeiffer authored 9 years ago
  
  0e4e5f68
Jan 26, 2016
- Add GAP type hierarchy exporter and json example output · 9755cea3
  Markus Pfeiffer authored 9 years ago
  
  9755cea3