Paul Patault bf775596c8 coma: generalize let%attr in let%span ...

+ creusot patches
+ CI patches

2024-08-08 11:09:30 +02:00

..

coma.lang

coma: generalize let%attr in let%span

2024-08-08 11:09:30 +02:00

why3.lang

Correct syntaxic coloring for attributes.

2018-08-21 12:11:05 +02:00

why3c.lang

ide: syntax highlighting for Why3/C code

2019-12-06 10:31:55 +01:00

why3py.lang

Python: documentation

2022-09-08 16:02:22 +02:00