1. 14 May, 2019 1 commit
  2. 24 Apr, 2019 1 commit
  3. 18 Apr, 2019 1 commit
  4. 17 Apr, 2019 2 commits
  5. 11 Apr, 2019 1 commit
  6. 10 Apr, 2019 1 commit
  7. 09 Apr, 2019 1 commit
  8. 08 Apr, 2019 2 commits
    • Raffaele Grosso's avatar
      Add changes from temporary branch by Sören · b2e6a0e5
      Raffaele Grosso authored
      Also:
      - clean unused files in pics/
      - (re)add some minor german spell checking
      - remove PDFs from gitignore, to allow PDF files in pics/
      
      The last item has the consequence that the PDF file of document
      generated by pdflatex gets added to the history at each commit,
      increasing the size of .git invain. For the moment it's not clear how we
      could get rid of this disadvantage.
      b2e6a0e5
    • Raffaele Grosso's avatar
      Correct one line spacing. · d62682c9
      Raffaele Grosso authored
      d62682c9
  9. 05 Apr, 2019 1 commit
  10. 04 Apr, 2019 1 commit
  11. 03 Apr, 2019 7 commits
  12. 02 Apr, 2019 1 commit
  13. 01 Apr, 2019 3 commits
  14. 29 Mar, 2019 1 commit
  15. 25 Jan, 2019 1 commit
  16. 22 Oct, 2018 1 commit
  17. 19 Feb, 2018 1 commit
  18. 02 Feb, 2018 1 commit
  19. 01 Feb, 2018 1 commit
  20. 29 Jan, 2018 2 commits
  21. 26 Jan, 2018 2 commits
  22. 24 Jan, 2018 1 commit
  23. 27 Oct, 2017 1 commit
  24. 26 Oct, 2017 1 commit