Commits · 73e34cd6f9b3f0836ef541b2f5b9ac2e2d70038e · SIGMathLing / website

29 Jan, 2018 4 commits
- Update arxmliv-embeddings-082017.md · 73e34cd6
  Michael Kohlhase authored Jan 29, 2018
  
  73e34cd6
- commata · 4518f5db
  Michael Kohlhase authored Jan 29, 2018
  
  4518f5db
- adding FAQ · 891b29ad
  Michael Kohlhase authored Jan 29, 2018
  
  891b29ad
- new · 09d645e8
  Michael Kohlhase authored Jan 29, 2018
  
  09d645e8
25 Jan, 2018 4 commits
- Merge branch 'master' of gl.kwarc.info:SIGMathLing/website · b8f59c85
  Michael Kohlhase authored Jan 25, 2018
  
  b8f59c85
- referenceing PDF version · 8cd57fa2
  Michael Kohlhase authored Jan 25, 2018
  
  8cd57fa2
- new · 06e3c489
  Michael Kohlhase authored Jan 25, 2018
  
  06e3c489
- md typesetting fix · 12dcfb80
  Deyan Ginev authored Jan 25, 2018
  
  12dcfb80
24 Jan, 2018 8 commits
- flush out more typesetting issues · 05bbf5a9
  Deyan Ginev authored Jan 24, 2018
  
  05bbf5a9
- fix typos in embedding contents · 41814349
  Deyan Ginev authored Jan 24, 2018
  
  41814349
- PDF NDA typesetting x2 · eee0ecec
  Deyan Ginev authored Jan 24, 2018
  
  eee0ecec
- attempting to better NDA PDF · dcad696b
  Deyan Ginev authored Jan 24, 2018
  
  dcad696b
- two data sets actually · 2646770a
  Michael Kohlhase authored Jan 24, 2018
  
  2646770a
- new date · 5a3f2844
  Michael Kohlhase authored Jan 24, 2018
  
  5a3f2844
- Merge branch 'arxmliv-release' into 'master' · 0143cbf9
  Michael Kohlhase authored Jan 24, 2018
```
Document 08.2017 arxlmiv dataset release

See merge request !1
```
  0143cbf9
- adding embeddings, slight reorganization · fdf229c5
  Deyan Ginev authored Jan 24, 2018
  
  fdf229c5
10 Jan, 2018 2 commits
- adding subset id and subset explanation text. · 87593b42
  Michael Kohlhase authored Jan 10, 2018
  
  87593b42
- adding link · 42652c89
  Michael Kohlhase authored Jan 10, 2018
  
  42652c89
09 Jan, 2018 2 commits
- revisit dataset info page, fill in details · 99b12bb7
  Deyan Ginev authored Jan 09, 2018
  
  99b12bb7
- final zip file complete · d08701d4
  Deyan Ginev authored Jan 09, 2018
  
  d08701d4
05 Jan, 2018 8 commits
- blank · 4bfa9ea3
  Michael Kohlhase authored Jan 05, 2018
  
  4bfa9ea3
- better title · 8cd9906d
  Michael Kohlhase authored Jan 05, 2018
  
  8cd9906d
- new · cec32f4e
  Michael Kohlhase authored Jan 05, 2018
  
  cec32f4e
- adding bibtex · c49e368e
  Michael Kohlhase authored Jan 05, 2018
  
  c49e368e
- license · e26e5db2
  Michael Kohlhase authored Jan 05, 2018
  
  e26e5db2
- copied here · d541ab62
  Michael Kohlhase authored Jan 05, 2018
  
  d541ab62
- reorganizing · 17b0b736
  Michael Kohlhase authored Jan 05, 2018
  
  17b0b736
- error subset stats · 0a727a14
  Deyan Ginev authored Jan 05, 2018
  
  0a727a14
04 Jan, 2018 1 commit
- updating arxmliv dataset page first draft with no_problem details · 7b7cadda
  Deyan Ginev authored Jan 03, 2018
  
  7b7cadda
03 Jan, 2018 1 commit
- mock page stub for arxmliv · 7f961f50
  Deyan Ginev authored Jan 02, 2018
  
  7f961f50
23 Dec, 2017 10 commits
- more · a20aeee7
  Michael Kohlhase authored Dec 23, 2017
  
  a20aeee7
- adding title · 3fef436f
  Michael Kohlhase authored Dec 23, 2017
  
  3fef436f
- more · cc53955e
  Michael Kohlhase authored Dec 23, 2017
  
  cc53955e
- typo · 701fffed
  Michael Kohlhase authored Dec 23, 2017
  
  701fffed
- tweak · d662d3bd
  Michael Kohlhase authored Dec 23, 2017
  
  d662d3bd
- finishing the argument · e671f179
  Michael Kohlhase authored Dec 23, 2017
  
  e671f179
- more about the importance of the docs · 74a82969
  Michael Kohlhase authored Dec 23, 2017
  
  74a82969
- typo · c0048981
  Michael Kohlhase authored Dec 23, 2017
  
  c0048981
- using title · 6e13fa6f
  Michael Kohlhase authored Dec 23, 2017
  
  6e13fa6f
- adding place to the signatures · a96a5d16
  Michael Kohlhase authored Dec 23, 2017
  
  a96a5d16