|
|
5c45b89b52
|
dump
|
2022-01-19 15:21:30 +01:00 |
|
|
|
a9e98e25d9
|
add theorem family options, improve error messages
|
2022-01-18 21:14:02 +01:00 |
|
|
|
61f955c4aa
|
implement family options
|
2022-01-18 15:39:08 +01:00 |
|
|
|
082c075ebb
|
document theorem family declarations
|
2022-01-18 14:45:36 +01:00 |
|
|
|
ddf4957b93
|
fix some more bugs
|
2022-01-18 13:23:44 +01:00 |
|
|
|
7a683c9d0e
|
implement theorem family generation
|
2022-01-18 12:31:09 +01:00 |
|
|
|
9e00b49279
|
replace some old syntax with proper macros
|
2022-01-18 11:28:04 +01:00 |
|
|
|
1f3aa04bfe
|
fix some more bugs
|
2022-01-18 03:54:34 +01:00 |
|
|
|
808b8c457f
|
add grouped theorem user interface
|
2022-01-18 02:32:15 +01:00 |
|
|
|
396005cc44
|
document grouped theorem commands latex3 layer properly
|
2022-01-18 02:19:25 +01:00 |
|
|
|
df78bdd30d
|
document more of the latex3 interface
|
2022-01-18 01:56:08 +01:00 |
|
|
|
880a30debf
|
document large parts of grouped theorems
|
2022-01-18 01:47:57 +01:00 |
|
|
|
b3982c64b7
|
add sorting of group names
|
2022-01-18 00:24:04 +01:00 |
|
|
|
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 |
|
