|
|
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 |
|
|
|
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 |
|
|
|
22b3e2352f
|
some debugging
|
2022-01-16 23:55:29 +01:00 |
|
|
|
9d5a257aed
|
add code for theorem variants generation in document
|
2022-01-16 23:28:43 +01:00 |
|
|
|
3d8b6f0fdc
|
make proper macros for theorem variant parsers
|
2022-01-16 23:01:52 +01:00 |
|
|
|
9cb5f5ed2f
|
add new theorem variant parser command
|
2022-01-16 22:41:36 +01:00 |
|
|
|
820ae92f28
|
mark some macros private
|
2022-01-16 22:34:05 +01:00 |
|
|
|
d8322bb5f1
|
refactor powerset macro into own package
|
2022-01-16 22:24:18 +01:00 |
|
|
|
3630c47b59
|
theorem variants generation
add iterating over powerset of clist function
add sorting hack for theoremgroups
add declare_theorem_variants macro
|
2022-01-16 21:38:19 +01:00 |
|
|
|
5e141841cb
|
add default group rules
|
2022-01-16 18:42:53 +01:00 |
|
|
|
886e562574
|
implement hook rules for theorem groups
|
2022-01-16 18:35:07 +01:00 |
|
|
|
a8cca1cbc6
|
use expl3 interface of hooks instead
|
2022-01-16 18:03:43 +01:00 |
|
|
|
73d473b25d
|
implement mapname
|
2022-01-16 17:59:40 +01:00 |
|
|
|
a19f905598
|
better error messages
|
2022-01-16 17:49:25 +01:00 |
|
|
|
e3d3d9ba0f
|
fixed bugs, working version again
|
2022-01-16 17:39:02 +01:00 |
|
|
|
0e1a802995
|
clean up internal package names. not working anymore
|
2022-01-16 17:18:11 +01:00 |
|
|
|
386f07a6d6
|
prename, postname and thmtools keys for groups and grouped theorems working
|
2022-01-16 14:35:24 +01:00 |
|
|
|
e92f1da165
|
group generation and theorem generation working. not all keys implemented yet
|
2022-01-16 13:48:25 +01:00 |
|
|
|
274ce257d6
|
start development of groupthm package
|
2022-01-16 12:12:12 +01:00 |
|
|
|
fbc4fd50c8
|
rename new version of refproof into old name
|
2022-01-15 15:01:31 +01:00 |
|
|
|
4eb5d7cd9c
|
rework of refproof as latex3 package complete. outsorced subproof properly
|
2022-01-15 14:56:53 +01:00 |
|
|
|
754278a807
|
add separate subproof package
|
2022-01-15 12:14:22 +01:00 |
|
|
|
4b695a6a06
|
rework proof package into LaTeX3 style
|
2022-01-15 12:06:24 +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 |
|
|
|
9f5fc84dc6
|
remove old file (has been moved)
|
2022-01-11 23:12:31 +01:00 |
|
|
|
70426b2d22
|
fix bugs in refproof
|
2022-01-11 22:57:37 +01:00 |
|
|
|
613e16998b
|
make category definitions protected
|
2022-01-11 22:16:31 +01:00 |
|
|
|
1966cb5d2b
|
add category of graded abelian groups
|
2022-01-11 21:46:20 +01:00 |
|
|
|
50e2c7c956
|
remove category specific stuff from mathop package, integrate categories package into math package
|
2022-01-11 21:26:08 +01:00 |
|
|
|
0a739e2550
|
add categories package
|
2022-01-11 21:25:37 +01:00 |
|
|
|
4f930a03ee
|
rename and move symbindex package. remove category specific stuff
|
2022-01-11 21:24:20 +01:00 |
|
|
|
296afc067b
|
add mathsymbindex package
Used to define math operators with automatic indexing
Still in development, but fully working by now
|
2022-01-11 18:56:51 +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 |
|
|
|
0011cb2270
|
remove (debug) \proofdepth macro
|
2022-01-10 00:11:01 +01:00 |
|
|
|
c0e4705c63
|
fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs
|
2022-01-09 21:45:25 +01:00 |
|
|
|
47449c57cb
|
fix infinite recursion bug in claim counter. fix some spacing
|
2022-01-09 20:20:56 +01:00 |
|
|
|
f4d079796a
|
add explicit subproof environment
|
2022-01-09 15:38:26 +01:00 |
|
|
|
3d6f2501df
|
autodetect proof depth and convert to subproof when using smart proof environment
|
2022-01-09 15:35:16 +01:00 |
|
|
|
23d4b92367
|
make plain proof and subproof available
|
2022-01-09 15:30:06 +01:00 |
|
|
|
bc072ff891
|
rename proof package to refproof
|
2022-01-09 14:34:42 +01:00 |
|
|
|
6ef381dc6a
|
integrate separate dictionary for proof package
|
2022-01-09 14:30:58 +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 |
|
|
|
14c4939841
|
make git an X option in script class
|
2021-12-20 14:20:16 +01:00 |
|
|
|
e238de78b6
|
add cell operator
|
2021-12-19 11:01:59 +01:00 |
|
|
|
43b88cc6ad
|
Merge branch 'master' into topology-1
|
2021-12-12 21:08:25 +01:00 |
|
|
|
a643415558
|
add alias rk for rank operator
|
2021-12-12 21:08:03 +01:00 |
|
|
|
4aa3ce8c18
|
Merge branch 'master' into topology-1
|
2021-12-12 20:14:12 +01:00 |
|
|
|
f2a9f5f703
|
Merge branch 'algebraic-geometry'
|
2021-12-12 20:13:31 +01:00 |
|
|
|
dd0288d437
|
add some operators
|
2021-11-26 12:18:53 +01:00 |
|
|
|
4fcd047da5
|
add Supp, Ann, OC operators
|
2021-11-08 22:57:03 +01:00 |
|
|
|
2f34007389
|
add operators Idem and eq
|
2021-11-08 22:47:23 +01:00 |
|
|
|
ba89fd94f5
|
add category of graded abelian groups
|
2021-11-07 18:57:40 +01:00 |
|
|
|
bfa91d4f66
|
Merge branch 'topology-1'
|
2021-11-07 16:14:29 +01:00 |
|
|
|
2786d460f2
|
add operator for GL and PGL (general linear groups)
|
2021-11-07 16:13:12 +01:00 |
|
|
|
60ba5846f3
|
change characteristic operator to capital C to avoid clash with builtin \char
|
2021-11-04 07:18:25 +01:00 |
|
|
|
0aefd5fd71
|
conform to uniform macro usage
|
2021-10-29 09:28:01 +02: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 |
|
