Michael Kohlhase
|
2228d9cc56
|
fixing paths and re-generating examples
|
2019-01-22 09:34:52 +01:00 |
|
Peter Harman
|
2b63150afe
|
Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal
# Conflicts:
# Proposal/WorkPackages/Cases.tex
|
2019-01-22 06:56:48 +01:00 |
|
Michael Kohlhase
|
3e7642f977
|
more on the public option
|
2018-03-22 10:25:37 +01:00 |
|
Michael Kohlhase
|
ce51805d93
|
sharing parts of the Makefiles
|
2017-12-04 13:32:26 +01:00 |
|
Michael Kohlhase
|
7189f56189
|
debugging Make/TeX files and re-generating
|
2017-12-04 10:12:17 +01:00 |
|
Michael Kohlhase
|
0ac416aadf
|
starting reorganization
|
2017-12-04 10:00:14 +01:00 |
|