 Joshua Potter
|
aa25e084d2
|
Update index and add pdflatex generation script.
|
2023-12-14 16:39:20 -07:00 |
Henrik Böving
|
628ef2878e
|
fix: properly comment out for the workaround
|
2023-03-16 20:39:30 +01:00 |
|
Henrik Böving
|
0c415232cd
|
feat: new CI setup
|
2023-03-12 13:19:02 +01:00 |
|
Henrik Böving
|
720e1acf81
|
feat: show versions in index HTML
|
2023-03-09 21:46:38 +01:00 |
|
Henrik Böving
|
ed4cee2eae
|
chore: style, change $ to <|
|
2022-07-23 13:01:25 +02:00 |
|
Henrik Böving
|
25b1ddb66b
|
feat: Preparations to split doc-gen build process
|
2022-07-21 01:40:04 +02:00 |
|
Henrik Böving
|
279df92555
|
refactor: restructure the modules
|
2022-05-19 20:41:07 +02:00 |
|
Henrik Böving
|
d39b14cf7a
|
chore: bump toolchain, bye auto pure
|
2022-02-12 15:09:13 +01:00 |
|
Henrik Böving
|
686f111438
|
chore: Split Output.lean into multiple files
|
2021-12-15 09:24:49 +01:00 |