|
|
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 |
|
|
|
710915271e
|
simplify some function names
|
2022-01-21 12:25:24 +01:00 |
|
|
|
05bc3d9c60
|
remove _aux from internal commands at some places
|
2022-01-20 21:43:03 +01:00 |
|
|
|
70ddae2307
|
higher abstraction for defining (re)new variants
new macro carries out all four definitions at once
rename all groupthm_new_theorem_group... macros into
groupthm_new_group...
|
2022-01-20 21:39:49 +01:00 |
|
|
|
08323fdf48
|
implement new define aux command to better generate variants with new, declare, provide and renew
|
2022-01-20 15:25:31 +01:00 |
|
|
|
0dd60e3447
|
rename prename and postname to prefix and suffix
|
2022-01-20 12:08:36 +01:00 |
|
|
|
b514de5e09
|
better makefile
|
2022-01-20 12:07:35 +01:00 |
|
|
|
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 |
|
