Commit Graph

3 Commits

Author SHA1 Message Date
Michael Kohlhase
233eb9173c tweaksing todo texts 2020-04-03 07:26:00 +02: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
0ac416aadf starting reorganization 2017-12-04 10:00:14 +01:00