|
|
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 |
|
|
|
eafd4336d6
|
declare hook rule for compatibily
|
2022-02-03 12:31:10 +01:00 |
|
|
|
a68ac2fdaa
|
make everythin lazy to integrate with fancythm
|
2022-02-03 12:30:47 +01:00 |
|
|
|
0070d2aa66
|
fix some bugs: missing macro variants and wrong names,
|
2022-02-02 22:53:31 +01:00 |
|
|
|
3cc1440fb5
|
do not use ExplSyntax at places that are passed to groupthm
|
2022-02-02 22:51:41 +01:00 |
|
|
|
f1dacf4a5d
|
implement caching in groupthm
|
2022-02-02 22:34:39 +01:00 |
|
|
|
64fbca35dd
|
rework aux file writing
|
2022-02-02 21:45:55 +01:00 |
|
|
|
bbfdb29cec
|
Merge branch 'cache' into fast-groupthm
|
2022-02-02 19:34:53 +01:00 |
|
|
|
27fb2c2cf1
|
move test file into cache directory
|
2022-02-02 18:10:57 +01:00 |
|
|
|
01254fc415
|
add comment in cache package
|
2022-02-02 17:42:38 +01:00 |
|
|
|
47e40def17
|
add test file showing usage of cache package
|
2022-02-02 17:41:02 +01:00 |
|
|
|
0fd205df16
|
fix wrong usage of old hooks
|
2022-02-02 17:32:21 +01:00 |
|
|
|
1bbcb12525
|
correct header
|
2022-02-02 17:28:06 +01:00 |
|
|
|
ddbdc19d2f
|
start experimental cache package
|
2022-02-02 17:24:06 +01:00 |
|
|
|
11d13efe62
|
don't write anything to aux file when not in cache mode
|
2022-02-01 11:59:17 +01:00 |
|
|
|
a3211f8a8f
|
groupthm: handle theorem family options cache
also use an aux file hook to collect definitions
from aux file
|
2022-01-31 22:17:58 +01:00 |
|
|
|
5b7e93e76a
|
also provide families lazily
|
2022-01-31 21:26:41 +01:00 |
|
|
|
48651b4919
|
activate caching for all Document Commands
|
2022-01-31 21:02:48 +01:00 |
|
|
|
bea7380166
|
ensure correct hook order
|
2022-01-31 20:36:29 +01:00 |
|
|
|
fc67ef99ef
|
groupthm: correct incremental building
ignore definitions from aux file in case of version change
|
2022-01-31 20:25:37 +01:00 |
|
|
|
c637fe051c
|
set aux version bool globally (fixes error)
|
2022-01-31 20:15:25 +01:00 |
|
|
|
d59ef01933
|
write groupthm version of theorem declaration to aux file
|
2022-01-31 20:11:37 +01:00 |
|
|
|
adc9c32514
|
write cache version of aux file into aux file
|
2022-01-31 19:59:52 +01:00 |
|
|
|
f878e66cdf
|
write all definitions of theorems to aux file at end of document
|
2022-01-31 19:55:03 +01:00 |
|
|
|
32daab8d20
|
implement lazy declaration at begin of documentation when caching is active
|
2022-01-31 19:26:38 +01:00 |
|
|
|
b041d8c990
|
implement option interface for groupthm.
|
2022-01-31 19:17:58 +01:00 |
|
|
|
4bda829518
|
update submodule
|
2022-01-31 00:46:41 +01:00 |
|
|
|
b88c57409a
|
remove old thmstyle file
|
2022-01-31 00:45:20 +01:00 |
|
|
|
d33ea4f9b3
|
update test file
|
2022-01-31 00:44:56 +01:00 |
|
|
|
d7791cdcb5
|
fix bugs
|
2022-01-31 00:44:40 +01:00 |
|
|
|
abd2308b82
|
use new thmstyle package
|
2022-01-31 00:35:57 +01:00 |
|
|
|
97a2df27b5
|
integrate documentation of thmstyle into dtx file
|
2022-01-31 00:26:23 +01:00 |
|
|
|
5437b8606c
|
rework thmstyle package into LaTeX3 syntax and proper expansion
|
2022-01-31 00:20:03 +01:00 |
|
|
|
ceb43f1672
|
update readme
|
2022-01-30 22:29:19 +01:00 |
|
|
|
ff6f4f6dc4
|
fix error in Makefile
|
2022-01-30 22:15:36 +01:00 |
|
|
|
e2d4d57eb0
|
update ci build script to have built packages available when generating documentation
|
2022-01-30 21:56:06 +01:00 |
|
|
|
9993ac4fc9
|
make doc building a phony target
|
2022-01-30 21:52:13 +01:00 |
|
|
|
1d5c14c688
|
remove redundant dependency
|
2022-01-30 21:51:50 +01:00 |
|
|
|
cb9d6110da
|
update submodule
|
2022-01-30 21:45:59 +01:00 |
|
|
|
736662b005
|
fix mistake in ci script
|
2022-01-30 21:40:13 +01:00 |
|
|
|
457a8d3cf3
|
make build error if script errors
|
2022-01-30 21:36:18 +01:00 |
|
|
|
69423e3a50
|
update ci
|
2022-01-30 21:33:32 +01:00 |
|
|
|
0ca188057a
|
update CI script
|
2022-01-30 21:30:44 +01:00 |
|
