d23c4a8bb0
use caches to speed up compilation
...
Build branch master (92dc505) from latex/latex-packages
2023-10-19 11:01:07 +00:00
9008450358
fix TEXINPUTS
...
Build branch master (b1925a7) from latex/latex-packages
2023-10-19 08:43:29 +00:00
b95036d968
further try
...
Build branch master (e7f4d10) from latex/latex-packages
2023-10-19 08:27:22 +00:00
e2e9bb61dc
next try
...
Build branch master (6ae8238) from latex/latex-packages
2023-10-19 08:09:49 +00:00
d908a25eb5
further attempt to compile correctly
...
Build branch master (8bed099) from latex/latex-packages
2023-10-19 07:56:48 +00:00
845d240720
fix ci file
...
Build branch master (13bbc42) from latex/latex-packages
2023-10-19 00:57:57 +00:00
aca4aebf60
correctly compile in pipeline
...
Build branch master (eaf0763) from latex/latex-packages
2023-10-19 00:52:14 +00:00
9c25e1e36b
set -e for compilation script
...
Build branch master (72cc9d7) from latex/latex-packages
2023-10-19 00:50:54 +00:00
1d9540a63c
change job name
...
Build branch master (34f0a41) from latex/latex-packages
2023-10-19 00:49:14 +00:00
c2374f15c1
generate documentation on master
...
Build branch master (c07e84d) from latex/latex-packages
2023-10-19 00:25:08 +00:00
915af86a10
fix path
...
Build branch master (8798571) from latex/latex-packages
2023-10-19 00:23:23 +00:00
1060733e20
use single job
...
Build branch master (b587beb) from latex/latex-packages
2023-10-18 16:47:56 +00:00
8626e9e728
update readme
...
Build branch master (2cd1131) from latex/latex-packages
2023-10-18 14:32:28 +00:00
5ad61f229d
adapt commit message in build repo
...
Build branch master (6263366) from latex/latex-packages
2023-10-18 14:27:37 +00:00
99f347de32
fix origin url
...
Build branch master (0156ddc) from kesslermaximilian/LatexPackages
2023-10-18 14:22:59 +00:00
400daf229c
add category of presheaves
...
Build branch master (51afbd7) from kesslermaximilian/LatexPackages
2022-10-17 16:35:39 +00:00
dfbfbb9ea8
fix whitespace around \vocab
...
Build branch master (521ce5c) from kesslermaximilian/LatexPackages
2022-08-18 14:09:50 +00:00
0baddf33ea
add green background style
...
Build branch master (b6a13cf) from kesslermaximilian/LatexPackages
2022-08-18 09:34:05 +00:00
043fb16fc3
make todo commands accept optional arguments
...
Build branch master (2d16a2d) from kesslermaximilian/LatexPackages
2022-06-27 15:48:35 +00:00
340d7093f5
refproof: fix optional argument of oldproof environment
...
Build branch master (d96c0bd) from kesslermaximilian/LatexPackages
2022-06-27 14:15:45 +00:00
1d299b232b
add fix for equal arrows in tikz-cd
...
Build branch master (b7ba678) from kesslermaximilian/LatexPackages
2022-06-27 14:01:58 +00:00
5d5c6e83f6
fix @counteralias usage of thmtools
...
Build branch master (c939483) from kesslermaximilian/LatexPackages
2022-06-27 13:33:47 +00:00
9698c31808
make categories always upright, also in italic text
...
Build branch master (004413d) from kesslermaximilian/LatexPackages
2022-06-07 19:16:33 +00:00
75bf09228d
add set
...
Build branch master (8583c50) from kesslermaximilian/LatexPackages
2022-04-24 19:20:42 +00:00
a6203cb3ca
add quiver.sty package
...
Build branch master (0b63168) from kesslermaximilian/LatexPackages
2022-02-28 15:03:42 +00:00
020e409173
add \ord operator for group orders
...
Build branch master (e8be9fc) from kesslermaximilian/LatexPackages
2022-02-16 16:27:42 +00:00
489a60aa12
fix more if bugs
...
Build branch master (6db316f) from kesslermaximilian/LatexPackages
2022-02-16 01:05:27 +00:00
b7b926865c
fix if bug
...
Build branch master (efa4817) from kesslermaximilian/LatexPackages
2022-02-16 00:53:08 +00:00
dc4913081e
fix thmstyle spacing with parskip
...
Build branch master (d7e3d2a) from kesslermaximilian/LatexPackages
2022-02-13 23:40:45 +00:00
881a2e5f98
add test
...
Build branch master (08fa626) from kesslermaximilian/LatexPackages
2022-02-10 00:29:47 +00:00
fc8b8daa50
improve code package: deactivate | symbol in tables. make | and code usable inside other macros by rescanning the token list
...
Build branch master (0a902cc) from kesslermaximilian/LatexPackages
2022-02-10 00:27:09 +00:00
a0064f3b16
add code macro usable inside other environments
...
Build branch master (371ce76) from kesslermaximilian/LatexPackages
2022-02-10 00:14:06 +00:00
89e7d8c669
make pip an option
...
Build branch master (394ecc3) from kesslermaximilian/LatexPackages
2022-02-09 23:40:44 +00:00
b95bb33ade
quick fix for tables
...
Build branch master (78e06ed) from kesslermaximilian/LatexPackages
2022-02-09 23:27:32 +00:00
db67a001f5
add (really bad) code package
...
Build branch master (778f529) from kesslermaximilian/LatexPackages
2022-02-09 23:08:59 +00:00
dc50c1f3f9
remove default benchmarking in groupthm
...
Build branch master (02c2acd) from kesslermaximilian/LatexPackages
2022-02-03 14:51:36 +00:00
5a75ce39a9
update fanycthm caching test
...
Build branch master (123299b) from kesslermaximilian/LatexPackages
2022-02-03 14:45:59 +00:00
5ca7c2e3f8
add makefile in cache tests
...
Build branch master (b15dedb) from kesslermaximilian/LatexPackages
2022-02-03 14:11:55 +00:00
0febf65674
update submodule
...
Build branch master (4bda829) from kesslermaximilian/LatexPackages
2022-01-30 23:49:04 +00:00
1a9368d593
update readme
...
Build branch master (ceb43f1) from kesslermaximilian/LatexPackages
2022-01-30 21:29:50 +00:00
05e2b66fcb
fix error in Makefile
...
Build branch master (ff6f4f6) from kesslermaximilian/LatexPackages
2022-01-30 21:16:10 +00:00
d96f7e8eed
update ci build script to have built packages available when generating documentation
...
Build branch master (e2d4d57) from kesslermaximilian/LatexPackages
2022-01-30 21:09:48 +00:00
2dc856460e
update submodule
...
Build branch master (cb9d611) from kesslermaximilian/LatexPackages
2022-01-30 20:47:14 +00:00
85ae9f374f
wipe build directory to ensure proper rebuild on next ci invocation
2022-01-30 21:37:07 +01:00
58a330ddf1
update (and push) PyTeX
...
Build branch master (da44daa) from kesslermaximilian/LatexPackages
2022-01-11 20:39:29 +00:00
be688d259f
add mathsymbindex package
...
Used to define math operators with automatic indexing
Still in development, but fully working by now
Build branch master (296afc0) from kesslermaximilian/LatexPackages
2022-01-11 19:15:47 +00:00
a148e89ad1
add todo package for quick aliases of some todonotes
...
Build branch master (ba8092f) from kesslermaximilian/LatexPackages
2022-01-10 00:08:07 +00:00
c325e4740f
provide proper proofdepth macro. fix subproof
...
Build branch master (eb06eb8) from kesslermaximilian/LatexPackages
2022-01-09 23:32:04 +00:00
558b903005
fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs
...
Build branch master (c0e4705) from kesslermaximilian/LatexPackages
2022-01-09 21:23:03 +00:00
264898f2ae
fix infinite recursion bug in claim counter. fix some spacing
...
Build branch master (47449c5) from kesslermaximilian/LatexPackages
2022-01-09 19:21:33 +00:00
