Loïc Correnson e2afddb11d Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +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

api.rst

Update URL to the website.

2024-01-20 07:14:01 +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

Version 1.7.1

2024-01-20 11:40:54 +01:00

drv_depgraph

Restore generation of driver dependencies.

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

exec.rst

Fix console prompts in documentation.

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

foreword.rst

Update URL to the website.

2024-01-20 07:14:01 +01: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

Version 1.7.1

2024-01-20 11:40:54 +01:00

input_formats.rst

Update URL to the website.

2024-01-20 07:14:01 +01:00

install.rst

Update URL to the website.

2024-01-20 07:14:01 +01:00

itp.rst

Mention the other Opam packages (fix #566).

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

manpages.rst

Fix some documentation typos.

2023-11-23 10:33:54 +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

Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

technical.rst

Improve documentation and restore the description of subst_all.

2023-11-23 19:04:43 +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

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