Michael Kohlhase
|
55b2e7d08c
|
Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal
|
2019-01-27 12:15:10 +01:00 |
|
Michael Kohlhase
|
187e9a4c57
|
moving splitting stuff to euproposal, updating examples, and fixing \milestonestable bug that appeared on running it the first time (the deliverables were not there yet)
|
2019-01-27 12:15:10 +01:00 |
|
Michael Kohlhase
|
bd6c7e0625
|
preparing to split
|
2019-01-27 12:15:10 +01:00 |
|
Michael Kohlhase
|
0a34a65e92
|
noRAM does not exist any more
|
2019-01-26 15:52:01 +01:00 |
|
Michael Kohlhase
|
2228d9cc56
|
fixing paths and re-generating examples
|
2019-01-22 09:34:52 +01:00 |
|
Michael Kohlhase
|
0ac416aadf
|
starting reorganization
|
2017-12-04 10:00:14 +01:00 |
|