manual de why3

b6641c8d · MARCHE Claude · a706e1cd · b6641c8d · b6641c8d · b6641c8d
Commit b6641c8d authored Sep 03, 2010 by MARCHE Claude
--- a/doc/ide.tex
+++ b/doc/ide.tex
+\chapter{IDE}
+
+\section{IDE}
+
+hello
--- a/doc/manual.tex
+++ b/doc/manual.tex
+\documentclass[a4paper]{memoir}
+
+\begin{document}
+
+\chapter{Syntax}
+
+\input{ide.tex}
+
+\end{document}
--- a/doc/why2_manual.tex
+++ b/doc/why2_manual.tex