Commit Graph

6 Commits

Author SHA1 Message Date
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