Michael Kohlhase
|
76caa6d596
|
draining just to be sure for CTAN distribution
|
2019-03-21 16:29:54 +01:00 |
|
Michael Kohlhase
|
1a0d85841b
|
getting rid of svn
|
2019-03-21 16:28:56 +01:00 |
|
Michael Kohlhase
|
e907aa4e45
|
example
|
2019-03-21 16:28:49 +01:00 |
|
Michael Kohlhase
|
d9a7cb563f
|
draining just to be sure for CTAN distribution
|
2019-03-21 16:01:06 +01:00 |
|
Michael Kohlhase
|
cf83e59db2
|
more and spellcheck
|
2019-01-29 14:27:31 +01:00 |
|
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
|
527af74fbe
|
snippeted out
|
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 |
|
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
|
d226ef7bfc
|
more documentation
|
2017-12-04 10:25:55 +01:00 |
|
Michael Kohlhase
|
0dfc42a589
|
updated
|
2017-12-04 10:23:50 +01:00 |
|
Michael Kohlhase
|
cf1455e2d2
|
new
|
2017-12-04 10:21:22 +01:00 |
|
Michael Kohlhase
|
7189f56189
|
debugging Make/TeX files and re-generating
|
2017-12-04 10:12:17 +01:00 |
|
Michael Kohlhase
|
bcf019ac60
|
Merge branch 'master' of github.com:KWARC/LaTeX-proposal
|
2017-12-04 10:00:23 +01:00 |
|
Michael Kohlhase
|
0ac416aadf
|
starting reorganization
|
2017-12-04 10:00:14 +01:00 |
|