|
|
0981e3f2d7
|
adjust first test to also define theorems directly
|
2022-02-03 14:04:12 +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 |
|
|
|
d33ea4f9b3
|
update test file
|
2022-01-31 00:44:56 +01:00 |
|
|
|
68407011c7
|
update fancythm test
|
2022-01-24 01:18:25 +01:00 |
|
Maximilian Keßler
|
d336dde3d8
|
add test files for packages (not finished yet)
|
2021-10-07 13:55:39 +02:00 |
|
