Commits · 9dfd6d083501e716376ee1975bcc4226879496fb · ODK / GAP

Oct 10, 2018
- update · 9dfd6d08
  Dennis Müller authored 6 years ago
  
  9dfd6d08
Oct 09, 2018
- Add recent GAP export · 16670990
  Markus Pfeiffer authored 6 years ago
  
  16670990
Aug 23, 2018
- update · 4ef55d3e
  Dennis Müller authored 6 years ago
  
  4ef55d3e
Apr 05, 2018
- Automatically replace old LF symbols and delimiters · 6a1527a8
  Tom Wiesing authored 7 years ago
  
  6a1527a8
Jun 27, 2017

Add outline · 358e6d87

Markus Pfeiffer authored 7 years ago

Add an outline of the needed structures for GAP and the example
we intent to implement.

358e6d87

Jun 07, 2017
- Add some notes on aligning GAP with MMT · e3484a33
  Markus Pfeiffer authored 7 years ago
  
  e3484a33
May 09, 2017
- Merge branch 'master' of gl.mathhub.info:ODK/GAP · 55648d29
  Michael Kohlhase authored 7 years ago
  
  55648d29
Apr 29, 2017
- lstinputmhlisting · 350d5712
  Michael Kohlhase authored 7 years ago
  
  350d5712
Apr 24, 2017
- Added errors folder · 9ce9de56
  Dennis Müller authored 7 years ago
  
  9ce9de56
Apr 06, 2017
- Update · 29646006
  Dennis Müller authored 8 years ago
  
  29646006
Jan 27, 2017
- mailaddress_kwarc · b549e0ad
  content-issues authored 8 years ago
  
  b549e0ad
Jul 29, 2016
- Merge branch 'master' of gl.mathhub.info:ODK/GAP · ece585f6
  Nicolas M. Thiéry authored 8 years ago
  
  ece585f6
- Added link to browsable export · bf367d56
  Nicolas M. Thiéry authored 8 years ago
  
  bf367d56
Jul 06, 2016
- new source files · cd7f8f85
  m-iancu authored 8 years ago
  
  cd7f8f85
Jul 01, 2016
- new version of mws harvests · cc452130
  m-iancu authored 8 years ago
  
  cc452130
- added tema config · d18a32f8
  m-iancu authored 8 years ago
  
  d18a32f8
- initial version of MWS harvest · 942b6fae
  m-iancu authored 8 years ago
  
  942b6fae
Jun 30, 2016
- generated stuff · b7fd5d52
  Dennis Müller authored 8 years ago
  
  b7fd5d52
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
  
  Unverified
  
  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