Research/LaTeX-proposal
4
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
374 Commits 3 Branches 0 Tags 29 MiB
b88ba5db66
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