|
|
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 |
|
