12 Commits

Author SHA1 Message Date
Silas Vedder
3edc7c57da hall build -x 2022-10-14 15:35:33 +02:00
Silas Vedder
bc925d89d4 hall.scm guix.scm 2022-10-14 15:34:12 +02:00
Silas Vedder
b8c39cee72 hall build -x 2022-10-14 15:30:59 +02:00
Silas Vedder
2f6284499a guix.scm updated 2022-10-14 15:25:29 +02:00
Silas Vedder
c113750973 guix.scm updated 2022-10-14 15:19:04 +02:00
Silas Vedder
5d0dbd6a06 hall.scm updated 2022-10-14 15:18:01 +02:00
Silas Vedder
998a564c41 Bugfix 2022-10-14 15:17:07 +02:00
Silas Vedder
48bb7cc7f0 scripts split from implementation of counter and latex export 2022-10-14 15:15:29 +02:00
Silas Vedder
89c529053b Scripts corrected 2022-10-13 13:02:32 +02:00
Silas Vedder
2e7be5e159 Korrektur 2022-10-13 12:59:12 +02:00
Silas Vedder
9b6ff8e420 Stuff 2022-10-13 12:53:45 +02:00
Silas Vedder
8b23959fed Initial commit 2022-10-13 12:42:30 +02:00