Commit Graph

38 Commits

Author SHA1 Message Date
Maximilian Keßler
84861677ae update dates in provided packages, do not use relative importing path 2021-09-05 11:37:19 +02:00
Maximilian Keßler
222faf184e add \inv operator 2021-09-02 12:16:48 +02:00
Maximilian Keßler
394cbce902 add gitignore for .swp files 2021-08-31 16:03:37 +02:00
Maximilian Keßler
52d634d9d2 add highbrow theorem 2021-08-31 11:28:20 +02:00
Maximilian Keßler
5146969d91 add not so serious theorem 2021-08-31 11:02:00 +02:00
Maximilian Keßler
58524d68ad add helpertheorem and randfact 2021-08-31 10:08:12 +02:00
Maximilian Keßler
20c6ce0805 add trick environment 2021-08-30 16:13:55 +02:00
Maximilian Keßler
4f73631c1e add \Ver operator 2021-08-30 09:54:54 +02:00
Maximilian Keßler
1362b08cb9 add operator for transgression 2021-08-29 17:13:21 +02:00
Maximilian Keßler
605e90446d add ord operator 2021-08-29 16:52:45 +02:00
Maximilian Keßler
816863e814 relative package include path. TODO: make this independent of the subfolder of the packages 2021-08-29 15:25:50 +02:00
Maximilian Keßler
f6ed553230 add cor operator 2021-08-29 15:25:23 +02:00
Maximilian Keßler
667b8e9f46 add operator for daniel 2021-08-28 20:57:47 +02:00
Maximilian Keßler
b6b9916a2b add operator 2021-08-28 17:54:29 +02:00
Maximilian Keßler
797e5657bb add res and inf operator 2021-08-28 17:04:22 +02:00
Maximilian Keßler
ce67421be2 add operator for field characteristic 2021-08-28 11:39:13 +02:00
Maximilian Keßler
f9e293accf fix golden color 2021-08-28 11:38:50 +02:00
Maximilian Keßler
0c47db38b0 add op 2021-08-27 12:10:21 +02:00
Maximilian Keßler
810e7aab5d add praise env 2021-08-27 10:48:22 +02:00
Maximilian Keßler
95c92b148e add EXT operator. add 'zuSatz' and 'zuBeweis' 2021-08-26 17:43:37 +02:00
Maximilian Keßler
4d524a5d34 add ext operator 2021-08-26 16:23:40 +02:00
Maximilian Keßler
68aeef8f3f add antimoral 2021-08-26 15:28:27 +02:00
Maximilian Keßler
fabcd43c4f
Update README.md 2021-08-26 13:47:17 +02:00
Maximilian Keßler
12d74d299e use real files 2021-08-26 13:41:40 +02:00
Maximilian Keßler
6ca24d11a8 more operators. add script class 2021-08-26 09:50:47 +02:00
Maximilian Keßler
2b663bb7d1 update packages 2021-08-26 09:18:18 +02:00
Maximilian Keßler
b2296d33f0 add back stuff, 2021-06-13 14:57:44 +02:00
Maximilian Keßler
8470ead61b more operators 2021-05-21 22:19:12 +02:00
Maximilian Keßler
857729a67d added operators for set theory 2021-05-14 21:08:28 +02:00
Maximilian Keßler
7a536157e6 added operators for set theory 2021-05-14 21:07:51 +02:00
Maximilian Keßler
dc1961950e some stuff 2021-05-12 20:15:34 +02:00
Maximilian Keßler
c96b9a969e commit 2021-05-07 12:17:03 +02:00
Maximilian Keßler
69bb00171e better enumeration 2021-04-27 16:01:23 +02:00
Maximilian Keßler
9dc9cc39f6 addet some operators 2021-04-27 16:00:40 +02:00
Maximilian Keßler
c96e561500 fixed spacing in Satz 2021-04-27 16:00:14 +02:00
Maximilian Keßler
878092d38d changed labelling of questions 2021-04-27 08:46:46 +02:00
Maximilian Keßler
fdb3def42f added first packages 2021-04-27 00:20:45 +02:00
Maximilian Keßler
e118903c56 first commit 2021-04-27 00:19:30 +02:00