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 |
|