|
|
08fa626f54
|
add test
|
2022-02-10 01:29:05 +01:00 |
|
|
|
123299b87d
|
update fanycthm caching test
|
2022-02-03 15:44:53 +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 |
|
|
|
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 |
|
|
|
0f07a69b15
|
update testfile to show auxfile tl
|
2022-02-03 12:31:49 +01:00 |
|
|
|
27fb2c2cf1
|
move test file into cache directory
|
2022-02-02 18:10:57 +01:00 |
|
|
|
47e40def17
|
add test file showing usage of cache package
|
2022-02-02 17:41:02 +01:00 |
|
|
|
d33ea4f9b3
|
update test file
|
2022-01-31 00:44:56 +01:00 |
|
|
|
275bc70bfb
|
add testfile
|
2022-01-30 18:08:25 +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 |
|
|
|
fbc4fd50c8
|
rename new version of refproof into old name
|
2022-01-15 15:01:31 +01:00 |
|
|
|
b6e3cf967c
|
add subproof tests
|
2022-01-15 14:57:05 +01:00 |
|
|
|
4eb5d7cd9c
|
rework of refproof as latex3 package complete. outsorced subproof properly
|
2022-01-15 14:56:53 +01:00 |
|
|
|
31245c6a17
|
use grouping in refproof package. delete wrong file
|
2022-01-14 20:35:54 +01:00 |
|
|
|
b36220f82a
|
start latex3 implementation of refproof
|
2022-01-14 18:48:21 +01:00 |
|
|
|
ba8092f2f6
|
add todo package for quick aliases of some todonotes
|
2022-01-10 01:07:39 +01:00 |
|
|
|
eb06eb8fbc
|
provide proper proofdepth macro. fix subproof
|
2022-01-10 00:31:26 +01:00 |
|
|
|
f4d079796a
|
add explicit subproof environment
|
2022-01-09 15:38:26 +01:00 |
|
|
|
23d4b92367
|
make plain proof and subproof available
|
2022-01-09 15:30:06 +01:00 |
|
|
|
06965d4a3a
|
use translation package in proof.pysty for easy translations
|
2022-01-09 13:11:01 +01:00 |
|
|
|
c592a7f8ac
|
rework proof package: refproof and proof environments functional
|
2022-01-08 23:42:40 +01:00 |
|
|
|
ea81a055fb
|
Merge branch 'algebraic-geometry'
|
2021-10-27 20:26:58 +02:00 |
|
|
|
64416f686e
|
add pushout and pullback symbols
|
2021-10-27 20:26:45 +02:00 |
|
|
|
9b279f65fd
|
add various shortlabels / enumerate styles to enumerate package
|
2021-10-26 09:43:13 +02:00 |
|
|
|
7116da1450
|
adjust test
|
2021-10-25 23:56:32 +02:00 |
|
|
|
356c7a3e12
|
tests for future math operators
|
2021-10-25 09:00:04 +02:00 |
|
|
|
5a7525ffa4
|
faktor: change order of optional arguments to not bother with '[' charactor after faktor
|
2021-10-24 21:11:34 +02:00 |
|
|
|
ea2989d850
|
update exercise sheet class with english version
|
2021-10-14 12:59:49 +02:00 |
|
Maximilian Keßler
|
785ad4342a
|
change some koma fonts
|
2021-10-10 13:58:17 +02:00 |
|
Maximilian Keßler
|
322a1021e3
|
adjust test
|
2021-10-10 13:53:19 +02:00 |
|
Maximilian Keßler
|
65ebc1d042
|
add test for exsheet class
|
2021-10-10 13:25:47 +02: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 |
|
