|
|
3c2e68f574
|
testfiles: done
|
2022-02-03 15:04:57 +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 |
|
|
|
d33ea4f9b3
|
update test file
|
2022-01-31 00:44:56 +01:00 |
|
|
|
eb8996c192
|
add benchmark file
|
2022-01-25 21:10:51 +01:00 |
|
|
|
68407011c7
|
update fancythm test
|
2022-01-24 01:18:25 +01:00 |
|
|
|
5019e9ae8e
|
add groupthm test. remove old style file
|
2022-01-23 01:26:09 +01:00 |
|
|
|
77c8dc4717
|
add more test files
|
2022-01-17 10:27:22 +01:00 |
|
|
|
9768ba00ee
|
regroup some stuff. outline future semantics in test document
|
2022-01-17 03:13:46 +01:00 |
|
|
|
d609b54aac
|
fix bugs in thmtools option not being set properly
|
2022-01-17 00:20:14 +01:00 |
|
|
|
ed41616c4a
|
fix missing bug of keys getting set wrongly
|
2022-01-17 00:02:49 +01:00 |
|
|
|
4fb0894674
|
reduce test
|
2022-01-16 23:58:52 +01:00 |
|
|
|
b663c78c91
|
add working test for groupthm
|
2022-01-16 23:56:03 +01:00 |
|
Maximilian Keßler
|
645def4b8f
|
update gitignore
|
2021-10-07 18:18:43 +02:00 |
|
Maximilian Keßler
|
d336dde3d8
|
add test files for packages (not finished yet)
|
2021-10-07 13:55:39 +02:00 |
|
