|
|
d8322bb5f1
|
refactor powerset macro into own package
|
2022-01-16 22:24:18 +01:00 |
|
|
|
613e16998b
|
make category definitions protected
|
2022-01-11 22:16:31 +01:00 |
|
|
|
1966cb5d2b
|
add category of graded abelian groups
|
2022-01-11 21:46:20 +01:00 |
|
|
|
4f930a03ee
|
rename and move symbindex package. remove category specific stuff
|
2022-01-11 21:24:20 +01:00 |
|
|
|
ba8092f2f6
|
add todo package for quick aliases of some todonotes
|
2022-01-10 01:07:39 +01:00 |
|
Maximilian Keßler
|
d69ab83952
|
rename packages folder to 'src' since it now includes classes as well
|
2021-10-08 16:37:35 +02:00 |
|
