|
|
7b136e0a65
|
implement theorem group rules
|
2022-01-18 00:15:02 +01:00 |
|
|
|
d5372859c0
|
adjust header
|
2022-01-17 23:35:01 +01:00 |
|
|
|
fe528bb6bc
|
fix more bugs
|
2022-01-17 23:33:09 +01:00 |
|
|
|
fa1f76ac52
|
better error messages
|
2022-01-17 23:27:00 +01:00 |
|
|
|
34888f7d4c
|
fix missing spaces in messages. fix wrong cs comparison in new/declare/provide/renew theorem
|
2022-01-17 23:25:51 +01:00 |
|
|
|
a7f5aada19
|
fix further bugs
|
2022-01-17 23:19:28 +01:00 |
|
|
|
71f6b30bf3
|
fix some bugs
|
2022-01-17 22:59:42 +01:00 |
|
|
|
3caa51245a
|
fix some bugs. add sorting macros
|
2022-01-17 22:34:53 +01:00 |
|
|
|
4bb40e16dd
|
commit partial changes (package now broken for sure)
|
2022-01-17 21:57:47 +01:00 |
|
|
|
6976cec905
|
document and rework theorem groups
|
2022-01-17 21:52:22 +01:00 |
|
|
|
453471eb88
|
add makefile
|
2022-01-17 17:06:18 +01:00 |
|
|
|
0029010926
|
convert to (broken) .dtx file
|
2022-01-17 16:43:52 +01:00 |
|
|
|
c7aa9fc01c
|
finish documentation
|
2022-01-17 14:44:29 +01:00 |
|
|
|
e0e420f3c1
|
add texnote
|
2022-01-17 12:15:32 +01:00 |
|
|
|
5bd70271e7
|
start writing documentation
|
2022-01-17 12:13: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 |
|
|
|
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 |
|
|
|
09d10fba30
|
update README.md
|
2022-01-15 15:57:05 +01:00 |
|
|
|
51b145b019
|
dual license vial lppl and gplv3
|
2022-01-15 15:54:42 +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 |
|
|
|
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 |
|
|
|
f574ac67a2
|
update submodule to wipe old files
|
2022-01-13 21:13:03 +01:00 |
|
|
|
c473a0cde8
|
update submodule
|
2022-01-13 21:02:58 +01:00 |
|
|
|
92d52a2505
|
clean old files on build
|
2022-01-13 20:58:29 +01:00 |
|
