Michael Kohlhase
|
60c0e13bdb
|
draining
|
2020-08-19 07:28:18 +02:00 |
|
Michael Kohlhase
|
d2a6d5a88b
|
fixes
|
2020-08-13 14:32:32 +02:00 |
|
Michael Kohlhase
|
3e6d3c6a37
|
fixed summary/zusammenfassung
|
2020-04-03 07:52:35 +02:00 |
|
Michael Kohlhase
|
3b2394c901
|
snippeted out
|
2020-04-03 07:52:35 +02:00 |
|
Michael Kohlhase
|
233eb9173c
|
tweaksing todo texts
|
2020-04-03 07:26:00 +02:00 |
|
Michael Kohlhase
|
6f7c8c0b2c
|
git subrepo commit (merge) LaTeX-proposal
subrepo:
subdir: "LaTeX-proposal"
merged: "55abecab"
upstream:
origin: "git@github.com:KWARC/LaTeX-proposal.git"
branch: "master"
commit: "9517a7f7"
git-subrepo:
version: "0.4.1"
origin: "git@github.com:ingydotnet/git-subrepo.git"
commit: "a04d8c2"
|
2020-01-14 08:22:33 +01:00 |
|
Michael Kohlhase
|
32da2230c3
|
removing font handling from the proposal class, updating examples accordingly
|
2020-01-14 08:22:33 +01:00 |
|
Michael Kohlhase
|
b8f0be0df6
|
spellcheck
|
2020-01-05 10:48:15 +01:00 |
|
Michael Kohlhase
|
83be6e6c4c
|
fixed babel errors
|
2020-01-05 10:48:15 +01:00 |
|
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 |
|