9 commits

Author	SHA1	Message	Date
Maximilian Keßler (via gitlab runner)	400daf229c	add category of presheaves ... Build branch master (51afbd7) from kesslermaximilian/LatexPackages	2022-10-17 16:35:39 +00:00
Maximilian Keßler (via gitlab runner)	75bf09228d	add set ... Build branch master (8583c50) from kesslermaximilian/LatexPackages	2022-04-24 19:20:42 +00:00
Maximilian Keßler (via gitlab runner)	020e409173	add \ord operator for group orders ... Build branch master (e8be9fc) from kesslermaximilian/LatexPackages	2022-02-16 16:27:42 +00:00
Maximilian Keßler (via gitlab runner)	489a60aa12	fix more if bugs ... Build branch master (6db316f) from kesslermaximilian/LatexPackages	2022-02-16 01:05:27 +00:00
Maximilian Keßler (via gitlab runner)	b7b926865c	fix if bug ... Build branch master (efa4817) from kesslermaximilian/LatexPackages	2022-02-16 00:53:08 +00:00
Maximilian Keßler (via gitlab runner)	0febf65674	update submodule ... Build branch master (4bda829) from kesslermaximilian/LatexPackages	2022-01-30 23:49:04 +00:00
Maximilian Keßler (via gitlab runner)	2dc856460e	update submodule ... Build branch master (cb9d611) from kesslermaximilian/LatexPackages	2022-01-30 20:47:14 +00:00
Maximilian Keßler	85ae9f374f	wipe build directory to ensure proper rebuild on next ci invocation	2022-01-30 21:37:07 +01:00
Maximilian Keßler (via gitlab runner)	7fce03d368	add testfile ... Build branch master (275bc70) from kesslermaximilian/LatexPackages	2022-01-30 17:09:33 +00:00