1. 28 May, 2015 2 commits
  2. 05 May, 2015 4 commits
  3. 17 Apr, 2015 1 commit
  4. 24 Mar, 2015 1 commit
  5. 20 Mar, 2015 1 commit
  6. 19 Mar, 2015 3 commits
  7. 17 Mar, 2015 2 commits
  8. 16 Mar, 2015 4 commits
  9. 03 Feb, 2015 2 commits
  10. 02 Feb, 2015 1 commit
  11. 31 Jan, 2015 2 commits
  12. 30 Jan, 2015 1 commit
  13. 04 Jan, 2015 3 commits
  14. 19 Sep, 2014 3 commits
  15. 11 Sep, 2014 1 commit
    • Philipp Erhardt's avatar
      Implement jump list · 3d285c0e
      Philipp Erhardt authored
      Every time a jump occurs its origin is saved. You can then move through
      those saved positions, e.g. to return to the table of contents after
      having read a section.
      3d285c0e
  16. 09 Sep, 2014 2 commits
  17. 07 Aug, 2014 3 commits
  18. 30 May, 2014 1 commit
  19. 19 May, 2014 1 commit
    • Philipp Erhardt's avatar
      Implement smartcase · 411b697f
      Philipp Erhardt authored
      Search case-sensitive, if search term contains an uppercase letter, else
      search case-insensitive.
      411b697f
  20. 07 May, 2014 2 commits