Commits · f222880833bbc614b61768c7735aff76d0def6cc · ODK / GAP

Jun 29, 2016
- add html files with math inside · f2228808
  m-iancu authored 8 years ago
  
  f2228808
Jun 28, 2016
- Add an example GAP server · c4e8c845
  Tom Wiesing authored 8 years ago
  
  c4e8c845
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
- resolve conflict · b8f62a0f
  Markus Pfeiffer authored 8 years ago
  
  b8f62a0f
- New version of gaptypes.json · ac50105c
  Markus Pfeiffer authored 8 years ago
  
  ac50105c
- Merge branch 'markusp' · f8832b2d
  Markus Pfeiffer authored 8 years ago
  
  f8832b2d
- Cleanups and store locations · 572d430a
  Markus Pfeiffer authored 8 years ago
  
  572d430a
Jun 02, 2016
- refactored, code/scripts to lib folder, content to gap · 25161db3
  m-iancu authored 8 years ago
  
  25161db3
Jun 01, 2016
- update build msl after refactoring gapdoc importer + minor fixes · 6f3442ab
  m-iancu authored 8 years ago
  
  6f3442ab
- update names scrips and result · 740714db
  m-iancu authored 8 years ago
  
  740714db
- added names comparison from doc and sys · ab5b77ff
  m-iancu authored 8 years ago
  
  ab5b77ff
- updated gitignore · b43d5888
  m-iancu authored 8 years ago
  
  b43d5888
- gaptypes.g exports locations of DeclareOperation calls · d2c9814b
  Markus Pfeiffer authored 8 years ago
  
  d2c9814b
- 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
May 31, 2016
- added file with repeated names as detected by the importer · 6c61c783
  m-iancu authored 8 years ago
  
  6c61c783
- fix tiny xml typo in manual, update build msl · ab2cf0d8
  m-iancu authored 8 years ago
  
  ab2cf0d8
- Update GAP reference manual · 45bc9a63
  Markus Pfeiffer authored 8 years ago
  
  45bc9a63
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
- Export installed methods · c6516392
  Markus Pfeiffer authored 9 years ago
  
  c6516392
- Add comment about Family export · 2a1e9871
  Markus Pfeiffer authored 9 years ago
  
  2a1e9871
Jan 27, 2016
- Update dump · 7b6943d1
  Markus Pfeiffer authored 9 years ago
  
  7b6943d1
- Add export of operations · 69b8611e
  Markus Pfeiffer authored 9 years ago
  
  69b8611e
- Update JSON dump · 0a91140f
  Markus Pfeiffer authored 9 years ago
  
  0a91140f
- Add IsObject as a default · a0d772d8
  Markus Pfeiffer authored 9 years ago
  
  a0d772d8
- Merge branch 'master' of gl.mathhub.info:ODK/GAP · 6d780b4c
  m-iancu authored 9 years ago
  
  6d780b4c
- adding gap ref manual · 1fb64916
  m-iancu authored 9 years ago
  
  1fb64916
- Update gaptypes.json · 95447a28
  Markus Pfeiffer authored 9 years ago
  
  95447a28
- Some cleanup · e0af1b13
  Markus Pfeiffer authored 9 years ago
  
  In particular dump everything into a list to avoid overwriting attributes of the same name that are defined for multiple filters
  e0af1b13
- Add new dump of GAP types · d089d659
  Markus Pfeiffer authored 9 years ago
  
  d089d659
- Output attributes as well · cec7796e
  Markus Pfeiffer authored 9 years ago
  
  cec7796e
- Newly generated gaptypes.json without line breaks · 0e4e5f68
  Markus Pfeiffer authored 9 years ago
  
  0e4e5f68
- Change line endings to unix, write file using IO package · 36430ee0
  Markus Pfeiffer authored 9 years ago
  
  36430ee0
Jan 26, 2016
- Merge branch 'master' of gl.mathhub.info:ODK/GAP · 9a66ce96
  Michael Kohlhase authored 9 years ago
  
  9a66ce96
- Add a little documentation · 9ea1ac92
  Markus Pfeiffer authored 9 years ago
  
  9ea1ac92
- Add GAP type hierarchy exporter and json example output · 9755cea3
  Markus Pfeiffer authored 9 years ago
  
  9755cea3