|
|
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 |
|
|
|
eb8996c192
|
add benchmark file
|
2022-01-25 21:10:51 +01:00 |
|
|
|
1d4817822e
|
remove old fancythm version
|
2022-01-24 01:23:03 +01:00 |
|
|
|
68407011c7
|
update fancythm test
|
2022-01-24 01:18:25 +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 |
|
|
|
cbcebe18bd
|
integrate generation of sty file in .dtx file
|
2022-01-24 00:38:00 +01:00 |
|
|
|
33a2294692
|
provide lots of default theorems
|
2022-01-23 19:01:02 +01:00 |
|
|
|
f4887160ed
|
add private wrappers to provide theorems with user pre-specified groups
|
2022-01-23 18:36:51 +01:00 |
|
|
|
5d103708c2
|
add providing macro variants
|
2022-01-23 17:56:53 +01:00 |
|
|
|
e5b3a7f432
|
integrate translations
|
2022-01-23 17:22:38 +01:00 |
|
|
|
ef97ef2e78
|
glue 'name=' key for thmtools differently to not expand name if it contains macros
|
2022-01-23 17:21:33 +01:00 |
|
|
|
13ae62e156
|
correct usage of mdframed. still buggy, but probably caused by thmstyle package
|
2022-01-23 17:00:40 +01:00 |
|
|
|
3b16c40e05
|
implement fancy theorem generation
|
2022-01-23 16:41:20 +01:00 |
|
|
|
82b6372e4c
|
fix error message on wrong keys
|
2022-01-23 16:35:08 +01:00 |
|
|
|
d8ce6d2c04
|
add missing check for existence of group when flattening group hierarchy
|
2022-01-23 16:28:18 +01:00 |
|
|
|
84503aa5d5
|
handle translator
|
2022-01-23 15:30:53 +01:00 |
|
|
|
ed965bc461
|
fix option parsing bugs
|
2022-01-23 15:25:22 +01:00 |
|
|
|
beb4b7af0a
|
implement counters and option parsing
|
2022-01-23 15:21:29 +01:00 |
|
|
|
02356e81d7
|
start fancythm package
|
2022-01-23 14:08:17 +01:00 |
|
|
|
ffff696fa3
|
update gitignore
|
2022-01-23 01:30:57 +01:00 |
|
|
|
5bf0c39cc7
|
better makefile
|
2022-01-23 01:27:53 +01:00 |
|
|
|
7d4303cc71
|
remove groupthm.tdo from repository
|
2022-01-23 01:27:45 +01:00 |
|
|
|
5019e9ae8e
|
add groupthm test. remove old style file
|
2022-01-23 01:26:09 +01:00 |
|
|
|
a13b32c3f8
|
rearrange preamble
|
2022-01-23 01:24:32 +01:00 |
|
|
|
e363e68432
|
remove todos etc
|
2022-01-23 01:20:21 +01:00 |
|
|
|
0329d70521
|
fix bug
|
2022-01-23 01:10:36 +01:00 |
|
|
|
39b1aa88b3
|
fix many typos
|
2022-01-23 01:08:38 +01:00 |
|
|
|
7baf1a01a1
|
document latex3 interface
|
2022-01-23 00:47:39 +01:00 |
|
|
|
c21ebb9036
|
document public interface
|
2022-01-23 00:26:49 +01:00 |
|
|
|
4e64eecf0c
|
implementation finished
|
2022-01-22 22:45:40 +01:00 |
|
|
|
ef930ed5fa
|
implement default groups and appending to groups
|
2022-01-22 18:31:36 +01:00 |
|
|
|
7ab693a7cb
|
implement options in document level
|
2022-01-22 17:46:32 +01:00 |
|
|
|
cc853a87e2
|
rework theorem family generation
|
2022-01-22 16:19:08 +01:00 |
|
|
|
d0939faa5b
|
rework generation of grouped theorems
|
2022-01-22 15:08:39 +01:00 |
|
|
|
b1b8f59c1b
|
rework keyval interface
|
2022-01-22 14:43:34 +01:00 |
|
|
|
83ba094203
|
redesign some interfaces
|
2022-01-22 14:09:40 +01:00 |
|
|
|
06bcb6cf10
|
fix some bugs regarding usage of \declarator
|
2022-01-21 15:32:23 +01:00 |
|
|
|
0e78a52b61
|
add macro to flatten inheritance relation
|
2022-01-21 14:37:26 +01:00 |
|
|
|
7f1132b898
|
add theorem group parent implemented
|
2022-01-21 14:12:06 +01:00 |
|
|
|
b934e14708
|
introduce clist to save parents for group
|
2022-01-21 14:05:29 +01:00 |
|
|
|
3d5abe9f79
|
fix triple backslashes. add ensure group exists macro
|
2022-01-21 14:00:33 +01:00 |
|
|
|
ce7436c3db
|
rename use_group macro with additional underscore
|
2022-01-21 13:52:42 +01:00 |
|
|
|
10458e55ed
|
use wrapper for grouped theorem generation
|
2022-01-21 13:39:06 +01:00 |
|
|
|
7996b7b537
|
renome some more functions for simplicity
|
2022-01-21 13:31:49 +01:00 |
|
|
|
d005bb4b33
|
generate document commands with helper function
|
2022-01-21 13:27:48 +01:00 |
|
|
|
47e633fefc
|
wrap new group methods into key methods. fix some bugs
|
2022-01-21 13:03:34 +01:00 |
|
