|
|
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 |
|
|
|
01254fc415
|
add comment in cache package
|
2022-02-02 17:42:38 +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 |
|
|
|
b88c57409a
|
remove old thmstyle file
|
2022-01-31 00:45:20 +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 |
|
|
|
1d5c14c688
|
remove redundant dependency
|
2022-01-30 21:51:50 +01:00 |
|
|
|
f3dda43639
|
add proper SetItemNumber macro
|
2022-01-30 19:35:02 +01:00 |
|
|
|
9f5af1d669
|
add PrintVocabIndex macro
|
2022-01-30 19:13:16 +01:00 |
|
|
|
97eb9f034c
|
add MakeCategoryIndex macro
|
2022-01-30 18:06:41 +01:00 |
|
|
|
91db761097
|
update package with proper naming conventions
|
2022-01-30 17:04:49 +01:00 |
|
|
|
52438fd0a3
|
move unicodechar package into wrappers folder
|
2022-01-30 16:44:24 +01:00 |
|
|
|
98a225b5a0
|
fix bug in faktor package
|
2022-01-30 16:00:32 +01:00 |
|
|
|
fae19125e0
|
add internal driver for style file
|
2022-01-30 14:20:51 +01:00 |
|
|
|
38c59525e7
|
move package sources into own folders
|
2022-01-30 14:16:50 +01:00 |
|
|
|
d767892eb9
|
add index in fancythm file
|
2022-01-30 13:57:55 +01:00 |
|
|
|
b70ff474f3
|
proper .latexmkcr and makefile. remove aux files from repo
|
2022-01-30 13:50:05 +01:00 |
|
|
|
fab158f45f
|
proper makefile
|
2022-01-30 13:43:53 +01:00 |
|
|
|
cd044ac0c4
|
include proper latexmkrc file. remove aux files from repo
|
2022-01-30 13:35:12 +01:00 |
|
|
|
0bc05e8129
|
add suchthat macro
|
2022-01-28 16:01:58 +01:00 |
|
|
|
640d447995
|
symbindex: call symbol lastly to allow for argument catching
|
2022-01-28 15:48:12 +01:00 |
|
|
|
698e0290ee
|
add ordinal number category
|
2022-01-28 15:16:52 +01:00 |
|
|
|
1d4817822e
|
remove old fancythm version
|
2022-01-24 01:23:03 +01:00 |
|
|
|
55b3513578
|
fix gitignore
|
2022-01-24 01:17:04 +01:00 |
|
|
|
81bf2a9588
|
move groupthm and fancythm into src folder
|
2022-01-24 01:15:42 +01:00 |
|
|
|
6849b1e36c
|
integrate pytex for docstrip
|
2022-01-24 01:05:49 +01:00 |
|
|
|
5019e9ae8e
|
add groupthm test. remove old style file
|
2022-01-23 01:26:09 +01:00 |
|
|
|
5c45b89b52
|
dump
|
2022-01-19 15:21:30 +01:00 |
|
|
|
4bb40e16dd
|
commit partial changes (package now broken for sure)
|
2022-01-17 21:57:47 +01:00 |
|
|
|
c7aa9fc01c
|
finish documentation
|
2022-01-17 14:44:29 +01:00 |
|
|
|
9768ba00ee
|
regroup some stuff. outline future semantics in test document
|
2022-01-17 03:13:46 +01:00 |
|
