Wen Kokke
|
a9f85c9ab1
|
EPUB and PDF now more-or-less work
|
2021-08-24 22:41:18 +01:00 |
|
Wen Kokke
|
b4ae07e13c
|
Fixed PDF and EPUB generation to use toc.metadata.
|
2021-08-24 19:22:53 +01:00 |
|
Wen Kokke
|
e8df980d4b
|
Fixed PDF generate to use toc.metadata.
|
2021-08-24 15:00:50 +01:00 |
|
Wen Kokke
|
67b94951e0
|
Bumped Agda version to 2.6.1.3.
|
2021-06-16 23:30:18 +01:00 |
|
Altariarite
|
c022088e3c
|
updated text-icu ver to be compatible with icu68+ (#565)
|
2021-06-16 16:13:27 +01:00 |
|
Wen Kokke
|
3d4c9f7a1d
|
Fixed rendering errors.
|
2020-10-23 11:21:02 +02:00 |
|
Wen Kokke
|
2c82ce21da
|
Switch to Hakyll as the build system for PLFA (#540)
|
2020-10-23 08:45:49 +02:00 |
|