Commit 28e12b62 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Give proper names to documentation html files.

parent 153df9d2
\chapter{The \why API}
This chapter is a tutorial for the users who want to link their own
OCaml code with the \why library. We progressively introduce the way
\chapter{Executing \whyml Programs}
This chapter shows how \whyml code can be executed, either by being
interpreted or compiled to some existing programming language.
\chapter{Compilation, Installation}
In short, installation proceeds as follows.
\chapter{Interactive Proof Assistants}
% ... We then provide specific information about some ITPs.
\chapter{Reference Manuals for the \why Tools}
This chapter details the usage of each of the command-line tools
provided by the \why environment. The main command is \texttt{why3};
......@@ -159,6 +159,7 @@ ANR project (ANR-12-INSE-0010\begin{latexonly},
%This is the manual for the Why platform version 3, or \why for
......@@ -262,6 +263,7 @@ Thi-Minh-Tuyen Nguyen, M\'ario Pereira, Asma Tafat, Piotr Trojanek.
\chapter{Release Notes}
\section{Release Notes for version 0.80: syntax changes w.r.t. 0.73}
\chapter{Getting Started}
\section{Hello Proofs}
\chapter{The \why Language}
This chapter describes the input syntax, and informally gives its semantics,
illustrated by examples.
\chapter{Language Reference}
This chapter gives the grammar and semantics for \why and \whyml input files.
\chapter{Technical Informations}
\section{Structure of Session Files}
\chapter{The \whyml Programming Language}
This chapter describes the \whyml programming language.
A \whyml input text contains a list of theories (see
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment