|
|
27a592b9f1
|
specify branch to checkout
Build LaTeX packages / build (push) Failing after 43s
Build LaTeX packages / deploy-pages (push) Has been skipped
|
2023-10-18 10:11:47 +02:00 |
|
|
|
1de88c00b8
|
rename deploy key variable
Build LaTeX packages / build (push) Failing after 50s
Build LaTeX packages / deploy-pages (push) Failing after 7s
|
2023-10-18 09:56:35 +02:00 |
|
|
|
0aece45a9c
|
move ci file to corect location
Build LaTeX packages / build (push) Failing after 14s
Build LaTeX packages / deploy-pages (push) Has been skipped
|
2023-10-18 09:52:14 +02:00 |
|
|
|
6aa92357e0
|
ajust ci
|
2023-10-18 09:51:02 +02:00 |
|
|
|
3483a24dca
|
disable indexing with beamer clas
|
2023-06-18 21:15:50 +02:00 |
|
|
|
51afbd7188
|
add category of presheaves
|
2022-10-17 18:34:37 +02:00 |
|
|
|
521ce5c804
|
fix whitespace around \vocab
|
2022-08-18 16:09:02 +02:00 |
|
|
|
b6a13cfa40
|
add green background style
|
2022-08-18 11:32:37 +02:00 |
|
|
|
2d16a2d72a
|
make todo commands accept optional arguments
|
2022-06-27 17:33:08 +02:00 |
|
|
|
8c5b9ad7a4
|
load missing decorations library for tikz-cd
|
2022-06-27 17:10:15 +02:00 |
|
|
|
e9f75cd220
|
fix error in category declaration
|
2022-06-27 16:46:26 +02:00 |
|
|
|
80377fc784
|
fix error in csv: use quotechar | correctly
|
2022-06-27 16:31:41 +02:00 |
|
|
|
aaa93783b2
|
fix error in csv dictionary: use proper quotechar |
|
2022-06-27 16:21:30 +02:00 |
|
|
|
bd9d19bcfb
|
Merge branch 'master' into bachelor-thesis
|
2022-06-27 16:16:03 +02:00 |
|
|
|
d96c0bdb38
|
refproof: fix optional argument of oldproof environment
|
2022-06-27 16:15:41 +02:00 |
|
|
|
45a0b480cb
|
Merge branch 'master' into bachelor-thesis
|
2022-06-27 16:02:11 +02:00 |
|
|
|
b7ba678943
|
add fix for equal arrows in tikz-cd
|
2022-06-27 16:02:01 +02:00 |
|
|
|
3a734d9f1b
|
add CGHaus and SimplicialSet categories
|
2022-06-27 15:56:21 +02:00 |
|
|
|
cf7b02f41f
|
Merge branch 'master' into bachelor-thesis
|
2022-06-27 15:33:49 +02:00 |
|
|
|
c939483b42
|
fix @counteralias usage of thmtools
|
2022-06-27 15:32:53 +02:00 |
|
|
|
5f2a38ae45
|
fix bug
|
2022-06-12 17:43:00 +02:00 |
|
|
|
6545412baf
|
add nobraces option to fancythm
|
2022-06-12 17:20:57 +02:00 |
|
|
|
004413d674
|
make categories always upright, also in italic text
|
2022-06-07 21:16:09 +02:00 |
|
|
|
8583c50c59
|
add set
|
2022-04-24 21:19:28 +02:00 |
|
|
|
0b631683d7
|
add quiver.sty package
|
2022-02-28 16:01:53 +01:00 |
|
|
|
e8be9fcb16
|
add \ord operator for group orders
|
2022-02-16 17:16:26 +01:00 |
|
|
|
6db316f4a0
|
fix more if bugs
|
2022-02-16 01:59:40 +01:00 |
|
|
|
efa4817c51
|
fix if bug
|
2022-02-16 01:48:11 +01:00 |
|
|
|
d7e3d2a9f0
|
fix thmstyle spacing with parskip
|
2022-02-14 00:39:40 +01:00 |
|
|
|
08fa626f54
|
add test
|
2022-02-10 01:29:05 +01:00 |
|
|
|
0a902cc0ec
|
improve code package: deactivate | symbol in tables. make | and code usable inside other macros by rescanning the token list
|
2022-02-10 01:26:33 +01:00 |
|
|
|
371ce76a81
|
add code macro usable inside other environments
|
2022-02-10 01:13:34 +01:00 |
|
|
|
394ecc310c
|
make pip an option
|
2022-02-10 00:40:13 +01:00 |
|
|
|
78e06ed17d
|
quick fix for tables
|
2022-02-10 00:27:01 +01:00 |
|
|
|
778f5297d1
|
add (really bad) code package
|
2022-02-10 00:06:34 +01:00 |
|
|
|
02c2acd330
|
remove default benchmarking in groupthm
|
2022-02-03 15:45:52 +01:00 |
|
|
|
123299b87d
|
update fanycthm caching test
|
2022-02-03 15:44:53 +01:00 |
|
|
|
9e214ef6cc
|
implement caching options and pass them to groupthm
|
2022-02-03 15:44:39 +01:00 |
|
|
|
f3f8254c3b
|
fix missing cache_slow:n macro in non-caching case
|
2022-02-03 15:43:49 +01:00 |
|
|
|
b15dedb366
|
add makefile in cache tests
|
2022-02-03 15:05:45 +01:00 |
|
|
|
3c2e68f574
|
testfiles: done
|
2022-02-03 15:04:57 +01:00 |
|
|
|
f80bd84852
|
integrate benchmarking properly
|
2022-02-03 15:02:50 +01:00 |
|
|
|
7fe4092d8e
|
groupthm: speedup caching
replacing # in cached expressions only
when necessary speeds up usage
|
2022-02-03 14:26:14 +01:00 |
|
|
|
0981e3f2d7
|
adjust first test to also define theorems directly
|
2022-02-03 14:04:12 +01:00 |
|
|
|
7a35a13f87
|
update test2 to match test2
|
2022-02-03 13:49:52 +01:00 |
|
|
|
c4d46e5dce
|
fix testfile
|
2022-02-03 13:48:47 +01:00 |
|
|
|
7dca64fa36
|
modify tests slightly
|
2022-02-03 13:11:13 +01:00 |
|
|
|
c38fd317ae
|
start two test files with different benchmarks
|
2022-02-03 12:59:21 +01:00 |
|
|
|
9b64e53a98
|
expand test and add benchmarkin
|
2022-02-03 12:32:37 +01:00 |
|
|
|
85d91e7b17
|
better compile makefile
|
2022-02-03 12:32:07 +01:00 |
|
