Commit Graph

8 Commits

Author SHA1 Message Date
Michael Kohlhase
5fe52af41f git subrepo commit (merge) LaTeX-proposal
subrepo:
  subdir:   "LaTeX-proposal"
  merged:   "9105ca90"
upstream:
  origin:   "git@github.com:KWARC/LaTeX-proposal.git"
  branch:   "master"
  commit:   "08a86343"
git-subrepo:
  version:  "0.4.0"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "5d6aba9"
2020-01-05 10:48:15 +01:00
Michael Kohlhase
a50b4cf26a tweaks 2020-01-05 10:48:15 +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
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