latex-packages

latex/latex-packages

Fork 0

Commit graph

a13b32c3f8 rearrange preamble Maximilian Keßler 2022-01-23 01:24:32 +0100
e363e68432 remove todos etc Maximilian Keßler 2022-01-23 01:20:21 +0100
0329d70521 fix bug Maximilian Keßler 2022-01-23 01:10:36 +0100
39b1aa88b3 fix many typos Maximilian Keßler 2022-01-23 01:08:38 +0100
7baf1a01a1 document latex3 interface Maximilian Keßler 2022-01-23 00:47:39 +0100
c21ebb9036 document public interface Maximilian Keßler 2022-01-23 00:26:49 +0100
4e64eecf0c implementation finished Maximilian Keßler 2022-01-22 22:45:40 +0100
ef930ed5fa implement default groups and appending to groups Maximilian Keßler 2022-01-22 18:31:36 +0100
7ab693a7cb implement options in document level Maximilian Keßler 2022-01-22 17:46:32 +0100
cc853a87e2 rework theorem family generation Maximilian Keßler 2022-01-22 16:19:08 +0100
d0939faa5b rework generation of grouped theorems Maximilian Keßler 2022-01-22 15:08:39 +0100
b1b8f59c1b rework keyval interface Maximilian Keßler 2022-01-22 14:43:34 +0100
83ba094203 redesign some interfaces Maximilian Keßler 2022-01-22 14:09:40 +0100
06bcb6cf10 fix some bugs regarding usage of \declarator Maximilian Keßler 2022-01-21 15:32:23 +0100
0e78a52b61 add macro to flatten inheritance relation Maximilian Keßler 2022-01-21 14:37:26 +0100
7f1132b898 add theorem group parent implemented Maximilian Keßler 2022-01-21 14:10:13 +0100
b934e14708 introduce clist to save parents for group Maximilian Keßler 2022-01-21 14:05:29 +0100
3d5abe9f79 fix triple backslashes. add ensure group exists macro Maximilian Keßler 2022-01-21 14:00:33 +0100
ce7436c3db rename use_group macro with additional underscore Maximilian Keßler 2022-01-21 13:52:42 +0100
10458e55ed use wrapper for grouped theorem generation Maximilian Keßler 2022-01-21 13:39:06 +0100
7996b7b537 renome some more functions for simplicity Maximilian Keßler 2022-01-21 13:31:49 +0100
d005bb4b33 generate document commands with helper function Maximilian Keßler 2022-01-21 13:27:48 +0100
47e633fefc wrap new group methods into key methods. fix some bugs Maximilian Keßler 2022-01-21 13:03:34 +0100
710915271e simplify some function names Maximilian Keßler 2022-01-21 12:25:24 +0100
05bc3d9c60 remove _aux from internal commands at some places Maximilian Keßler 2022-01-20 21:43:03 +0100
70ddae2307 higher abstraction for defining (re)new variants Maximilian Keßler 2022-01-20 21:39:49 +0100
08323fdf48 implement new define aux command to better generate variants with new, declare, provide and renew Maximilian Keßler 2022-01-20 15:25:31 +0100
0dd60e3447 rename prename and postname to prefix and suffix Maximilian Keßler 2022-01-20 12:08:36 +0100
b514de5e09 better makefile Maximilian Keßler 2022-01-20 12:07:35 +0100
5c45b89b52 dump Maximilian Keßler 2022-01-19 15:21:14 +0100
a9e98e25d9 add theorem family options, improve error messages Maximilian Keßler 2022-01-18 21:14:02 +0100
61f955c4aa implement family options Maximilian Keßler 2022-01-18 15:39:08 +0100
082c075ebb document theorem family declarations Maximilian Keßler 2022-01-18 14:45:36 +0100
ddf4957b93 fix some more bugs Maximilian Keßler 2022-01-18 13:23:44 +0100
7a683c9d0e implement theorem family generation Maximilian Keßler 2022-01-18 12:31:09 +0100
9e00b49279 replace some old syntax with proper macros Maximilian Keßler 2022-01-18 11:28:04 +0100
1f3aa04bfe fix some more bugs Maximilian Keßler 2022-01-18 03:54:34 +0100
808b8c457f add grouped theorem user interface Maximilian Keßler 2022-01-18 02:32:15 +0100
396005cc44 document grouped theorem commands latex3 layer properly Maximilian Keßler 2022-01-18 02:18:10 +0100
df78bdd30d document more of the latex3 interface Maximilian Keßler 2022-01-18 01:56:08 +0100
880a30debf document large parts of grouped theorems Maximilian Keßler 2022-01-18 01:47:57 +0100
b3982c64b7 add sorting of group names Maximilian Keßler 2022-01-18 00:24:04 +0100
7b136e0a65 implement theorem group rules Maximilian Keßler 2022-01-18 00:15:02 +0100
d5372859c0 adjust header Maximilian Keßler 2022-01-17 23:35:01 +0100
fe528bb6bc fix more bugs Maximilian Keßler 2022-01-17 23:33:09 +0100
fa1f76ac52 better error messages Maximilian Keßler 2022-01-17 23:27:00 +0100
34888f7d4c fix missing spaces in messages. fix wrong cs comparison in new/declare/provide/renew theorem Maximilian Keßler 2022-01-17 23:24:06 +0100
a7f5aada19 fix further bugs Maximilian Keßler 2022-01-17 23:19:28 +0100
71f6b30bf3 fix some bugs Maximilian Keßler 2022-01-17 22:59:42 +0100
3caa51245a fix some bugs. add sorting macros Maximilian Keßler 2022-01-17 22:34:53 +0100
4bb40e16dd commit partial changes (package now broken for sure) Maximilian Keßler 2022-01-17 21:57:47 +0100
6976cec905 document and rework theorem groups Maximilian Keßler 2022-01-17 21:52:22 +0100
453471eb88 add makefile Maximilian Keßler 2022-01-17 17:06:18 +0100
0029010926 convert to (broken) .dtx file Maximilian Keßler 2022-01-17 16:43:52 +0100
c7aa9fc01c finish documentation Maximilian Keßler 2022-01-17 14:44:29 +0100
e0e420f3c1 add texnote Maximilian Keßler 2022-01-17 12:15:32 +0100
5bd70271e7 start writing documentation Maximilian Keßler 2022-01-17 12:13:09 +0100
77c8dc4717 add more test files Maximilian Keßler 2022-01-17 10:27:22 +0100
9768ba00ee regroup some stuff. outline future semantics in test document Maximilian Keßler 2022-01-17 03:13:46 +0100
d609b54aac fix bugs in thmtools option not being set properly Maximilian Keßler 2022-01-17 00:20:14 +0100
ed41616c4a fix missing bug of keys getting set wrongly Maximilian Keßler 2022-01-17 00:02:49 +0100
4fb0894674 reduce test Maximilian Keßler 2022-01-16 23:58:52 +0100
b663c78c91 add working test for groupthm Maximilian Keßler 2022-01-16 23:56:03 +0100
22b3e2352f some debugging Maximilian Keßler 2022-01-16 23:55:29 +0100
9d5a257aed add code for theorem variants generation in document Maximilian Keßler 2022-01-16 23:28:43 +0100
3d8b6f0fdc make proper macros for theorem variant parsers Maximilian Keßler 2022-01-16 23:01:52 +0100
9cb5f5ed2f add new theorem variant parser command Maximilian Keßler 2022-01-16 22:41:36 +0100
820ae92f28 mark some macros private Maximilian Keßler 2022-01-16 22:34:05 +0100
d8322bb5f1 refactor powerset macro into own package Maximilian Keßler 2022-01-16 22:23:29 +0100
3630c47b59 theorem variants generation Maximilian Keßler 2022-01-16 21:38:19 +0100
5e141841cb add default group rules Maximilian Keßler 2022-01-16 18:42:53 +0100
886e562574 implement hook rules for theorem groups Maximilian Keßler 2022-01-16 18:35:07 +0100
a8cca1cbc6 use expl3 interface of hooks instead Maximilian Keßler 2022-01-16 18:03:43 +0100
73d473b25d implement mapname Maximilian Keßler 2022-01-16 17:59:40 +0100
a19f905598 better error messages Maximilian Keßler 2022-01-16 17:49:25 +0100
e3d3d9ba0f fixed bugs, working version again Maximilian Keßler 2022-01-16 17:39:02 +0100
0e1a802995 clean up internal package names. not working anymore Maximilian Keßler 2022-01-16 17:18:11 +0100
386f07a6d6 prename, postname and thmtools keys for groups and grouped theorems working Maximilian Keßler 2022-01-16 14:35:24 +0100
e92f1da165 group generation and theorem generation working. not all keys implemented yet Maximilian Keßler 2022-01-16 13:48:25 +0100
274ce257d6 start development of groupthm package Maximilian Keßler 2022-01-16 12:12:12 +0100
09d10fba30 update README.md Maximilian Keßler 2022-01-15 15:57:05 +0100
51b145b019 dual license vial lppl and gplv3 v2.6 Maximilian Keßler 2022-01-15 15:36:14 +0100
fbc4fd50c8 rename new version of refproof into old name v2.5.2 Maximilian Keßler 2022-01-15 14:57:59 +0100
b6e3cf967c add subproof tests Maximilian Keßler 2022-01-15 14:57:05 +0100
4eb5d7cd9c rework of refproof as latex3 package complete. outsorced subproof properly Maximilian Keßler 2022-01-15 14:56:53 +0100
754278a807 add separate subproof package Maximilian Keßler 2022-01-15 12:14:22 +0100
4b695a6a06 rework proof package into LaTeX3 style Maximilian Keßler 2022-01-15 12:06:24 +0100
31245c6a17 use grouping in refproof package. delete wrong file Maximilian Keßler 2022-01-14 20:35:54 +0100
b36220f82a start latex3 implementation of refproof Maximilian Keßler 2022-01-14 18:48:21 +0100
f574ac67a2 update submodule to wipe old files Maximilian Keßler 2022-01-13 21:13:03 +0100
c473a0cde8 update submodule Maximilian Keßler 2022-01-13 21:02:58 +0100
92d52a2505 clean old files on build Maximilian Keßler 2022-01-13 20:58:29 +0100
f8da930cb5 update submodule Maximilian Keßler 2022-01-13 20:56:17 +0100
c3430270b9 update submodule Maximilian Keßler 2022-01-12 21:35:58 +0100
431d6fa9ea update submodule to fix formatting bug Maximilian Keßler 2022-01-12 21:03:18 +0100
9f5fc84dc6 remove old file (has been moved) Maximilian Keßler 2022-01-11 23:12:31 +0100
70426b2d22 fix bugs in refproof Maximilian Keßler 2022-01-11 22:57:37 +0100
613e16998b make category definitions protected Maximilian Keßler 2022-01-11 22:16:31 +0100
1966cb5d2b add category of graded abelian groups Maximilian Keßler 2022-01-11 21:46:20 +0100
da44daa271 update (and push) PyTeX Maximilian Keßler 2022-01-11 21:38:18 +0100