Research/LaTeX-proposal
4
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
382 Commits 3 Branches 0 Tags 29 MiB
1fdafea39f
Commit Graph

4 Commits

Author SHA1 Message Date
Michael Kohlhase
d2a6d5a88b fixes 2020-08-13 14:32:32 +02:00
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