|
|
566649ecc3
|
Trigger CI
Update helpers / build_helpers (push) Successful in 26s
|
2026-01-09 15:02:36 +01:00 |
|
|
|
7f8c112556
|
Revert "[skip ci] Build helpers on push"
This reverts commit aaa6a709fc.
|
2026-01-09 15:02:04 +01:00 |
|
Helpers compiler [bot]
|
aaa6a709fc
|
[skip ci] Build helpers on push
|
2026-01-09 13:59:11 +00:00 |
|
|
|
66aee3d780
|
Trigger CI
Update helpers / build_helpers (push) Successful in 27s
|
2026-01-09 14:58:44 +01:00 |
|
|
|
ab3abb113c
|
Revert "[skip ci] Build helpers on push"
This reverts commit 951458a867.
|
2026-01-09 14:53:39 +01:00 |
|
Helpers compiler [bot]
|
951458a867
|
[skip ci] Build helpers on push
|
2026-01-09 13:52:14 +00:00 |
|
|
|
4f03b8eebc
|
[CI] Trigger
Update helpers / build_helpers (push) Successful in 29s
|
2026-01-09 14:50:19 +01:00 |
|
|
|
3a67a42535
|
[CI] Trigger
Update helpers / build_helpers (push) Failing after 27s
|
2026-01-09 14:25:56 +01:00 |
|
|
|
bcd7ed17d0
|
[Core] Improve layout
Update helpers / build_helpers (push) Failing after 13s
|
2026-01-09 14:17:27 +01:00 |
|
|
|
dcb077e116
|
Remove unnecessary commands
Build helpers / build_helpers (push) Successful in 5s
|
2026-01-05 09:05:03 +01:00 |
|
|
|
4eff956d53
|
New changes
Build docs / build_docs (push) Successful in 21s
Build helpers / build_helpers (push) Successful in 5s
|
2026-01-02 07:28:26 +01:00 |
|
|
|
baf964792a
|
Better logging
Build helpers / build_helpers (push) Successful in 5s
|
2025-12-23 14:11:01 +01:00 |
|
|
|
24b4fe0959
|
[CI] Trigger
Build helpers / build_docs (push) Successful in 4s
|
2025-12-22 17:49:56 +01:00 |
|
|
|
a0893a9887
|
[Core] Add smaller loader
|
2025-12-04 11:27:57 +01:00 |
|
|
|
6e6bdba382
|
[Core] Remove unneeded packages
|
2025-11-11 09:05:26 +01:00 |
|
|
|
b8473c5f68
|
[Build] Improve helper import
|
2025-11-03 16:07:03 +01:00 |
|
|
|
3c24b99445
|
Add more translation aids
|
2025-07-14 11:16:34 +02:00 |
|
|
|
e005c18ea0
|
Add translation aids
|
2025-07-14 08:50:22 +02:00 |
|
|
|
d824616d80
|
Add improved commands for def, lemma, theorems, etc
|
2025-07-13 11:22:32 +02:00 |
|
|
|
a687681316
|
Improve cheatsheet setup command
|
2025-05-13 16:57:30 +02:00 |
|
|
|
d17f33bb76
|
Add additional font
|
2025-05-01 16:13:45 +02:00 |
|
|
|
42ccf02808
|
Add new package
|
2025-04-01 19:01:50 +02:00 |
|
|
|
58ca8acfeb
|
Language handling improvements
|
2025-03-28 16:36:57 +01:00 |
|
|
|
cab909372f
|
Fix incorrect docs for cheat sheet setup
|
2025-03-18 09:48:22 +01:00 |
|
|
|
08369be70d
|
Add more numbering options, update docs for that
|
2025-01-07 17:24:18 +01:00 |
|
|
|
0644caf2b2
|
Add docs, finish up errors
|
2025-01-07 10:38:36 +01:00 |
|
|
|
9217ace0af
|
Set up helpers, mostly okay. Some changes yet to come
|
2025-01-06 17:52:57 +01:00 |
|
