Commit Graph

Select branches

Hide Pull Requests

dev

main

Mono Color

• 4577950acc [tables] Fix errors main Janis Hutz 2026-01-10 08:35:07 +01:00
• fd7ce878e5 [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-09 14:11:33 +00:00
• 457d7ce024 [CI] Trigger Janis Hutz 2026-01-09 15:10:59 +01:00
• 8c8cc53a8c [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-09 14:09:54 +00:00
• 73b6098463 Remove duplicated indent config Janis Hutz 2026-01-09 15:09:39 +01:00
• 635d32d260 [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-09 14:06:18 +00:00
• bda3b92795 [CI] Trigger Janis Hutz 2026-01-09 15:06:06 +01:00
• f2c337eaa9 Revert "[skip ci] Build helpers on push" Janis Hutz 2026-01-09 15:05:29 +01:00
• 141cf5d091 Latexfmt corrected Janis Hutz 2026-01-09 15:05:06 +01:00
• e16e4b3e7b [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-09 14:03:04 +00:00
• 566649ecc3 Trigger CI Janis Hutz 2026-01-09 15:02:36 +01:00
• 7f8c112556 Revert "[skip ci] Build helpers on push" Janis Hutz 2026-01-09 15:02:04 +01:00
• aaa6a709fc [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-09 13:59:11 +00:00
• 66aee3d780 Trigger CI Janis Hutz 2026-01-09 14:58:44 +01:00
• da4eeebc6d Add indentconfig Janis Hutz 2026-01-09 14:54:59 +01:00
• ab3abb113c Revert "[skip ci] Build helpers on push" Janis Hutz 2026-01-09 14:53:39 +01:00
• 951458a867 [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-09 13:52:14 +00:00
• 4f03b8eebc [CI] Trigger Janis Hutz 2026-01-09 14:50:19 +01:00
• 3a67a42535 [CI] Trigger Janis Hutz 2026-01-09 14:25:56 +01:00
• bcd7ed17d0 [Core] Improve layout Janis Hutz 2026-01-09 14:17:27 +01:00
• 2c0db60c7d [CI] Update to also format Janis Hutz 2026-01-09 14:15:34 +01:00
• 90ce264992 [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-05 15:08:49 +00:00
• 579cbd96ca [Tables] Remove labeledTable again Janis Hutz 2026-01-05 16:08:22 +01:00
• 88e2dc1a70 [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-05 15:05:43 +00:00
• b9d9f6772c [Tables] Add env for labeled table Janis Hutz 2026-01-05 16:05:14 +01:00
• b0e161e133 [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-05 10:29:09 +00:00
• 676bbd9306 Update vector command Janis Hutz 2026-01-05 11:28:39 +01:00
• 5f691d9372 [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-05 09:17:39 +00:00
• fd66333f7a Fix spacing compact theorems Janis Hutz 2026-01-05 10:17:29 +01:00
• db2fbc4c70 [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-05 08:05:12 +00:00
• dcb077e116 Remove unnecessary commands Janis Hutz 2026-01-05 09:05:01 +01:00
• be655d2387 [skip ci] Build docs on push LaTeX compiler [bot] 2026-01-04 11:01:13 +00:00
• cb173908b4 Add better code support Janis Hutz 2026-01-04 11:58:10 +01:00
• 6803d1f62d [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-02 06:28:59 +00:00
• 4eff956d53 New changes Janis Hutz 2026-01-02 07:28:26 +01:00
• f622e2be55 [CI] Update Janis Hutz 2026-01-02 07:21:57 +01:00
• 9a19639d10 [skip ci] Build docs on push LaTeX compiler [bot] 2026-01-02 06:20:18 +00:00
• bfc62a37eb Add new commands for vspace removal Janis Hutz 2026-01-02 07:19:58 +01:00
• 01e20cef5d [CI] Try to fix breaking on both workflow run Janis Hutz 2026-01-02 07:16:53 +01:00
• eda396d617 [skip ci] Build helpers on push Helpers compiler [bot] 2026-01-02 06:11:50 +00:00
• 4522e88c92 Fix CI Janis Hutz 2026-01-02 07:11:40 +01:00
• 04b388c382 [skip ci] Build docs on push LaTeX compiler [bot] 2026-01-02 06:10:00 +00:00
• 3d6d6234de Add new space remove commands Janis Hutz 2026-01-02 07:09:25 +01:00
• 4344f8f09d [skip ci] Build helpers on push Helpers compiler [bot] 2025-12-24 06:22:30 +00:00
• b1d81bdd06 Improve limit command Janis Hutz 2025-12-24 07:22:18 +01:00
• 1e766b8133 [skip ci] Build docs on push LaTeX compiler [bot] 2025-12-23 15:26:44 +00:00
• c5fccabba9 CI working? Janis Hutz 2025-12-23 16:25:37 +01:00
• e2a725bc51 [skip ci] Build docs on push LaTeX compiler [bot] 2025-12-23 13:57:37 +00:00
• cc3144b170 Trigger build Janis Hutz 2025-12-23 14:55:05 +01:00
• b908ae3b29 Better link docs Janis Hutz 2025-12-23 14:32:31 +01:00
• 0ea3d9245c [CI] update author Janis Hutz 2025-12-23 14:29:36 +01:00
• 27c96d26a0 [skip ci] Build helpers on push janishutz 2025-12-23 13:23:28 +00:00
• c6aa4c8d80 [CI] Update Janis Hutz 2025-12-23 14:23:21 +01:00
• f1b64e8ddb [CI] More debugging Janis Hutz 2025-12-23 14:21:47 +01:00
• a5cb9bb54d [CI] More debugging Janis Hutz 2025-12-23 14:21:04 +01:00
• 432fcb4153 Trigger build Janis Hutz 2025-12-23 14:19:03 +01:00
• 159b37a3d3 [CI] Debug helpers build Janis Hutz 2025-12-23 14:17:30 +01:00
• baf964792a Better logging Janis Hutz 2025-12-23 14:11:01 +01:00
• 01047ba385 Add badge Janis Hutz 2025-12-23 14:09:13 +01:00
• c321acd063 [CI] Only update on push to docs Janis Hutz 2025-12-23 14:06:03 +01:00
• 1462cc0198 [skip ci] Build docs on push janishutz 2025-12-23 13:02:52 +00:00
• 6dbcd64ed4 [CI] Fix upload action Janis Hutz 2025-12-23 14:02:30 +01:00
• 8346a558c7 [CI] Debugging Janis Hutz 2025-12-23 14:01:41 +01:00
• 91cfc52ec8 [CI] Download helpers Janis Hutz 2025-12-23 13:59:34 +01:00
• dba7f93d0d Trigger CI Janis Hutz 2025-12-23 13:56:06 +01:00
• 098ffcc618 [CI] Use full container Janis Hutz 2025-12-23 09:11:21 +01:00
• 4102cafa6e Revert "[CI] Remove docs build" Janis Hutz 2025-12-23 09:00:15 +01:00
• bdb72b2e2a [CI] Remove docs build Janis Hutz 2025-12-23 08:40:37 +01:00
• 5169d20bed [CI] Update workflow Janis Hutz 2025-12-23 07:20:58 +01:00
• 86f080a705 [CI] Try fix Janis Hutz 2025-12-23 07:09:40 +01:00
• 23037f11f6 [CI] Use upstream action Janis Hutz 2025-12-23 07:01:47 +01:00
• 8b4d775d1a [CI] Add back login Janis Hutz 2025-12-22 21:49:37 +01:00
• 3406ad8951 [CI] Remove login Janis Hutz 2025-12-22 21:48:18 +01:00
• 495f3a8503 [CI] Try to fix Janis Hutz 2025-12-22 21:41:00 +01:00
• 7101d5f017 [CI] Update Janis Hutz 2025-12-22 21:08:07 +01:00
• d3ebc929a0 [CI] Move to newer latex action Janis Hutz 2025-12-22 21:04:53 +01:00
• 284d957a92 [CI] Debugging Janis Hutz 2025-12-22 20:57:53 +01:00
• dc62654e42 [CI] Try another fix Janis Hutz 2025-12-22 20:54:45 +01:00
• 6b052b8152 [CI] Use updated latex workflow Janis Hutz 2025-12-22 20:52:19 +01:00
• 100f16afda [CI] Fix syntax error Janis Hutz 2025-12-22 18:31:19 +01:00
• 491cdd9441 [CI] Fix syntax Janis Hutz 2025-12-22 18:30:30 +01:00
• ca9fd7a66f [CI] Sign into registry Janis Hutz 2025-12-22 18:29:49 +01:00
• 7bf361ccd4 [CI] Fix more syntax errors Janis Hutz 2025-12-22 18:23:12 +01:00
• c0134e47c2 [CI] Fix syntax error Janis Hutz 2025-12-22 18:22:02 +01:00
• e2974cea74 [CI] Trigger Janis Hutz 2025-12-22 18:21:24 +01:00
• 6394ce2591 [CI] Try fix Janis Hutz 2025-12-22 18:21:08 +01:00
• 4db6733865 Trigger Janis Hutz 2025-12-22 18:19:56 +01:00
• 7a73c73687 [CI] Add docs auto-build Janis Hutz 2025-12-22 18:19:27 +01:00
• 24b4fe0959 [CI] Trigger Janis Hutz 2025-12-22 17:49:56 +01:00
• 43819d942c [CI] Remove latex compile action Janis Hutz 2025-12-22 15:49:27 +01:00
• 7ee9152f41 [CI] Debug docs Janis Hutz 2025-12-22 15:34:37 +01:00
• 1518007fe2 [CI] Debug docs Janis Hutz 2025-12-22 15:14:22 +01:00
• 3864d838d6 [CI] Debug docs Janis Hutz 2025-12-22 15:13:00 +01:00
• 98b3e7ee66 [CI] Do not build helpers if no corresponding files changed Janis Hutz 2025-12-22 15:12:16 +01:00
• dca911c00b [CI] Debug docs build Janis Hutz 2025-12-22 15:10:18 +01:00
• bb42a2e803 [CI] Fix helpers auto-build Janis Hutz 2025-12-22 15:04:33 +01:00
• 8a238d1a8c [CI] Debugging Janis Hutz 2025-12-22 15:03:47 +01:00
• e64a76745a [CI] Build fixes Janis Hutz 2025-12-22 15:01:19 +01:00
• 978039b0d0 [CI] Add Janis Hutz 2025-12-22 14:54:57 +01:00
• cc78cee14f [Math] Add conditioning shortcut Janis Hutz 2025-12-22 08:20:10 +01:00