1. 01 Oct, 2019 2 commits
  2. 18 Jun, 2019 1 commit
  3. 14 May, 2019 1 commit
  4. 24 Apr, 2019 1 commit
  5. 18 Apr, 2019 1 commit
  6. 17 Apr, 2019 2 commits
  7. 11 Apr, 2019 1 commit
  8. 10 Apr, 2019 1 commit
  9. 09 Apr, 2019 1 commit
  10. 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
  11. 05 Apr, 2019 1 commit
  12. 04 Apr, 2019 1 commit
  13. 03 Apr, 2019 7 commits
  14. 02 Apr, 2019 1 commit
  15. 01 Apr, 2019 3 commits
  16. 29 Mar, 2019 1 commit
  17. 25 Jan, 2019 1 commit
  18. 22 Oct, 2018 1 commit
  19. 19 Feb, 2018 1 commit
  20. 02 Feb, 2018 1 commit
  21. 01 Feb, 2018 1 commit
  22. 29 Jan, 2018 2 commits
  23. 26 Jan, 2018 2 commits
  24. 24 Jan, 2018 1 commit
  25. 27 Oct, 2017 1 commit
  26. 26 Oct, 2017 1 commit