Nick
|
19a27a004e
|
Unset ada keymaps when leaving ada buffers
|
2025-10-19 07:01:20 +02:00 |
|
Nick
|
fb966de276
|
Beautify ada_mode to conform to lua standards
|
2025-10-19 06:52:52 +02:00 |
|
|
|
7daedc0b31
|
Ada proofs
|
2025-06-24 09:13:12 +02:00 |
|
|
|
5ee0540a2e
|
Prove framework
|
2025-06-15 14:53:46 +02:00 |
|
|
|
41ec16380b
|
Add function to prove ada/Spark code
|
2025-06-14 23:23:28 +02:00 |
|
|
|
8e09bfd6b7
|
Remove autoformat
|
2025-03-31 09:58:29 +02:00 |
|
|
|
443a0cb897
|
Spell check
|
2025-02-01 07:17:01 +01:00 |
|
|
|
5b1d0d66de
|
Add ada mode
|
2025-01-24 21:41:28 +01:00 |
|
|
|
8cee1dc880
|
Ada mode
|
2024-12-19 10:37:14 +01:00 |
|
|
|
af4b80906f
|
Disable ada mode
|
2024-10-07 07:55:16 +02:00 |
|
|
|
cc1a7c9311
|
Add ada formatting
|
2024-10-07 07:46:40 +02:00 |
|
