|
|
f4e1f01f39
|
add documentation
|
2022-01-30 18:07:51 +01:00 |
|
|
|
2a9ad90a62
|
draf of documentation of categories. not fixed
|
2022-01-30 17:44:29 +01:00 |
|
|
|
3e416a68ae
|
document mathsymb package
|
2022-01-30 17:16:28 +01:00 |
|
|
|
aef9318118
|
document mathalias package
|
2022-01-30 17:04:59 +01:00 |
|
|
|
52438fd0a3
|
move unicodechar package into wrappers folder
|
2022-01-30 16:44:24 +01:00 |
|
|
|
0be5a5503d
|
document unicodechar package
|
2022-01-30 16:43:42 +01:00 |
|
|
|
105314726a
|
document mathfixes package
|
2022-01-30 16:38:07 +01:00 |
|
|
|
5a90610c9d
|
docmuent mathfont packgae
|
2022-01-30 16:18:42 +01:00 |
|
|
|
07d60b499a
|
add faktor package documentation
|
2022-01-30 16:00:44 +01:00 |
|
|
|
8e94f452fe
|
add documentation for thmstyle
|
2022-01-30 15:43:42 +01:00 |
|
|
|
2dbf8f9723
|
document refproof package
|
2022-01-30 15:25:27 +01:00 |
|
|
|
8aa2e4139c
|
consistent naming
|
2022-01-30 14:38:30 +01:00 |
|
|
|
57c4a01e8e
|
add groupthm documentation driver file
|
2022-01-30 13:59:53 +01:00 |
|
|
|
8e853295a0
|
add doc driver file
|
2022-01-30 13:57:45 +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 |
|
|
|
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 |
|
