Commits · 69d1cb66dd5ab4d54ea830261c2e47fbf568a179 · ODK / GAP · GitLab

Snippets Groups Projects

Jun 01, 2016
- 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