Benjamin Terra-Jorge 8bb9da3b6b Merge branch '894-extraction-broken-when-cloning-a-module-with-interface' into 'master' ...

Resolve "Extraction broken when cloning a module with interface"

Closes #894

See merge request why3/why3!1190

2025-12-10 09:20:51 +00:00

..

ext

Fix broken regex for floating-point numbers in documentation.

2021-01-11 15:32:25 +01:00

generated

Move away most of the generated files from doc/ as it is getting crowded.

2018-06-05 14:58:16 +02:00

images

Update documentation pictures.

2023-03-07 09:36:13 +01:00

javaexamples

documentation of the Java extraction

2024-10-02 11:28:58 +02:00

api.rst

Improve Pmodule API, update documentation

2025-11-20 14:14:24 +01:00

cedoc.mlw

doc: delay generation of dot files to a manual execution of make update-doc-png

2020-03-05 15:55:29 +01:00

changes.rst

Improve organization of documentation.

2022-05-11 14:40:02 +02:00

conf.py

make output of Kim accent simpler

2025-10-17 10:52:15 +02:00

drv_depgraph

Restore generation of driver dependencies.

2020-02-17 14:52:18 +01:00

exec.rst

Merge branch 'whyml2java' into 'master'

2024-10-31 21:14:12 +01:00

foreword.rst

prepare release

2025-06-04 10:49:46 +02:00

genindex.rst

Remove spurious "Index" chapter in PDF documentation.

2020-02-28 18:06:39 +01:00

HelloProof-style2.tex

doc: updated examples for why3session command

2018-06-22 17:05:06 +02:00

HelloProof.tex

doc: updated examples for why3session command

2018-06-22 17:05:06 +02:00

index.rst

update after release 1.8.2

2025-09-15 13:38:49 +02:00

input_formats.rst

coma: added documentation section

2024-08-08 11:49:32 +02:00

install.rst

improve doc for emacs configuration

2024-02-20 14:04:09 +01:00

itp.rst

Mention the other Opam packages (fix #566).

2021-03-30 08:22:48 +02:00

manpages.rst

'informations' -> 'information'

2025-11-28 11:05:21 +01:00

manual.bib

Use UTF8 accents for authors in the bibliography.

2024-01-17 07:22:49 +01:00

starting.rst

Fix console prompts in documentation.

2023-03-07 10:15:31 +01:00

syntaxref.rst

fix doc of for loops

2025-11-19 13:18:39 +01:00

technical.rst

'informations' -> 'information'

2025-11-28 11:05:21 +01:00

vcgen.rst

Improve documentation.

2023-02-23 15:54:24 +01:00

why3ide-doc.conf

Update documentation pictures.

2023-03-07 09:36:13 +01:00

whyml2java.inc

reviewing whyml2java

2024-10-31 17:51:38 +01:00

whyml.rst

Fix broken tutorial.

2023-05-17 10:19:34 +02:00

zebibliography.rst

Restore bibliography.

2020-02-13 13:49:26 +01:00