Claude Marche d818a981f2 fix cmd line for E-prover 3.x

2025-12-11 16:29:16 +01:00

..

bash

Update completion scripts.

2021-04-10 15:07:06 +02:00

emacs

Explain to Emacs how Why3 locate errors.

2022-10-28 17:22:04 +02:00

images

logo "why3 approved", gimp source and PNG

2018-03-29 10:51:15 +02:00

lang

coma: generalize let%attr in let%span

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

latex

WhyML: make the ref type built-in and handle the "ref" keyword

2018-10-14 21:54:29 +02:00

vim

Update keyword list.

2020-02-29 09:00:47 +01:00

whyitp

Added a real end of goal for PG.

2016-10-26 12:53:12 +02:00

zsh

Update completion scripts.

2021-04-10 15:07:06 +02:00

ce-models.json

Use Number.[int|real]_constant for integer and real values in CE models

2023-02-16 11:50:42 +01:00

provers-detection-data.conf

fix cmd line for E-prover 3.x

2025-12-11 16:29:16 +01:00

strategies.conf

stdlib set: add a function to generate an empty set + a few example updates

2016-03-24 10:45:38 +01:00

why3session.dtd

Add missing attributes to DTD.

2020-02-28 18:47:52 +01:00