Commit graph

56 commits

Author SHA1 Message Date
15a3d8bb95 add trace operator
Build branch master (db62b98) from kesslermaximilian/LatexPackages
2021-10-17 14:13:44 +00:00
d2b374615a provide
r{<nr>} command for starting writeup of an exercise

Build branch master (fbd489a) from kesslermaximilian/LatexPackages
2021-10-16 07:03:42 +00:00
3a22915518 add \Nil operator
Build branch master (ceb6113) from kesslermaximilian/LatexPackages
2021-10-14 06:56:19 +00:00
32996da83c fix typo
Build branch master (ef818c9) from kesslermaximilian/LatexPackages
2021-10-14 06:47:51 +00:00
Maximilian Keßler (via Travis CI)
2bcd7a2bbb change some koma fonts
Build branch master (785ad43) from kesslermaximilian/LatexPackages
2021-10-10 12:02:03 +00:00
Maximilian Keßler (via Travis CI)
2cf7de5b9d Merge pull request #3 from kesslermaximilian/testbranch
Better building and deployment

Build branch master (2fcf4e2) from kesslermaximilian/LatexPackages
2021-10-08 07:41:15 +00:00