Michael Kohlhase ecba9c5339 updating examples to gitinfo2, testing and fixing bugs		2014-10-28 09:29:59 +01:00
..
funds.tex	updating examples to gitinfo2, testing and fixing bugs	2014-10-28 09:29:59 +01:00
Makefile	initial commit moving here from svn	2014-02-15 12:01:14 +01:00
preconditions.tex	updating examples to gitinfo2, testing and fixing bugs	2014-10-28 09:29:59 +01:00
proposal.pdf	updating examples to gitinfo2, testing and fixing bugs	2014-10-28 09:29:59 +01:00
proposal.tex	updating examples to gitinfo2, testing and fixing bugs	2014-10-28 09:29:59 +01:00
state.tex	updating examples to gitinfo2, testing and fixing bugs	2014-10-28 09:29:59 +01:00
workplan.tex	updating examples to gitinfo2, testing and fixing bugs	2014-10-28 09:29:59 +01:00
zusammenfassung.tex	updating examples to gitinfo2, testing and fixing bugs	2014-10-28 09:29:59 +01:00