Leni Aniva

aniva pushed to ui/kando at aniva/config

2024-09-27 00:52:37 -07:00

0c51670191 feat: Basic Kando menu

aniva created branch ui/kando in aniva/config

2024-09-27 00:52:37 -07:00

aniva pushed to main at aniva/config

2024-09-26 23:51:38 -07:00

e1f3d669ad Merge pull request 'feat: Emacs featureset update' (#18) from emacs into main

3afebacb07 feat: Set indentation level

3e1940d347 Merge branch 'main' into emacs

ab3a0ce04f feat: Remove unused and broken scad mode

ec4af50a10 feat: Add lsp +eglot, magit +forge

Compare 7 commits »

aniva merged pull request aniva/config#18

2024-09-26 23:51:38 -07:00

feat: Emacs featureset update

aniva pushed to emacs at aniva/config

2024-09-23 19:53:48 -07:00

3afebacb07 feat: Set indentation level

aniva pushed to emacs at aniva/config

2024-09-23 19:52:43 -07:00

3e1940d347 Merge branch 'main' into emacs

14adae845e Merge pull request 'feat: Option to toggle opacity and screenshot' (#14) from wayland/sway into main

7562b4d747 Merge branch 'main' into wayland/sway

9f9c234161 Merge pull request 'fix: Hyprland config update, eww bar integration' (#15) from wayland/hypr into main

0d697fa202 Merge branch 'main' into wayland/hypr

Compare 20 commits »

aniva pushed to main at aniva/config

2024-09-23 19:52:00 -07:00

14adae845e Merge pull request 'feat: Option to toggle opacity and screenshot' (#14) from wayland/sway into main

7562b4d747 Merge branch 'main' into wayland/sway

46f3f1fffe fix: Screenshot and transparency

Compare 3 commits »

aniva merged pull request aniva/config#14

2024-09-23 19:51:58 -07:00

feat: Option to toggle opacity and screenshot

aniva pushed to emacs at aniva/config

2024-09-23 19:50:50 -07:00

ab3a0ce04f feat: Remove unused and broken scad mode

ec4af50a10 feat: Add lsp +eglot, magit +forge

Compare 2 commits »

aniva opened issue aniva/config#19

2024-09-23 19:38:53 -07:00

Add Kando

aniva commented on pull request aniva/config#18

2024-09-16 15:22:04 -07:00

feat: Emacs featureset update

We should remove scad mode as well. Its not used.

aniva commented on issue aniva/Pantograph#98

2024-09-09 23:57:59 -07:00

Use MLList from Batteries

Found a workaround in the frontend: If we can rely on map or foldl like structure we don't really need MLList.

aniva opened issue aniva/Pantograph#102

2024-09-09 23:49:44 -07:00

Timeout for tactics

aniva commented on pull request aniva/Pantograph#99

2024-09-09 19:32:41 -07:00

feat: Collect holes in Lean file and put them into a GoalState

https://github.com/lenianiva/PyPantograph/pull/13

Seems fine. Testing has passed.

aniva pushed to frontend/collect-holes at aniva/Pantograph

2024-09-09 18:43:54 -07:00

bec84f857b fix: repl build failure

aniva pushed to frontend/collect-holes at aniva/Pantograph

2024-09-09 17:38:21 -07:00

fe8b259e4f feat: Set root when there's just one mvar

aniva pushed to frontend/collect-holes at aniva/Pantograph

2024-09-09 17:35:24 -07:00

f729a357b9 Merge branch 'dev' into frontend/collect-holes

9075ded885 feat: Set `automaticMode` to true by default

Compare 2 commits »

aniva pushed to dev at aniva/Pantograph

2024-09-09 17:33:43 -07:00

9075ded885 feat: Set `automaticMode` to true by default

aniva deleted branch goal/automatic-mode from aniva/Pantograph

2024-09-09 17:33:43 -07:00

aniva merged pull request aniva/Pantograph#101

2024-09-09 17:33:42 -07:00

feat: Set `automaticMode` to true by default