Commit Graph

12 Commits

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