Michael Kohlhase d84cd3626c generated variants

2015-01-13 11:10:10 +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

merging in enhancements from the SAGE proposal effort

2015-01-08 08:41:28 +01:00

proposal.tex

updating examples to gitinfo2, testing and fixing bugs

2014-10-28 09:29:59 +01:00

public.pdf

generated variants

2015-01-13 11:10:10 +01:00

public.tex

generated variants

2015-01-13 11:10:10 +01:00

state.tex

updating examples to gitinfo2, testing and fixing bugs

2014-10-28 09:29:59 +01:00

submit.pdf

generated variants

2015-01-13 11:10:10 +01:00

submit.tex

generated variants

2015-01-13 11:10:10 +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