Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
composition:tableaux:colonnes:fixer_la_largeur_et_justifier_une_colonne [2016/10/18 22:06] – jejust | 2_composition:tableaux:colonnes:fixer_la_largeur_et_justifier_une_colonne [2020/12/21 19:18] (Version actuelle) – Renommage des sections de base: correction des liens internes. jejust | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | ====== Comment passer à la ligne dans une cellule~?} %7.22 Modif Nico ====== | + | ====== Comment passer à la ligne dans une cellule? ====== |
- | $Reponse$ | + | $\Reponse$ |
- | dispose de toutes les commandes usuelles de retour à la ligne, sauf évidement | + | dispose de toutes les commandes usuelles de retour à la ligne, sauf évidemment |
- | de '' | + | de '' |
- | Selon l' | + | Selon l' |
classique ligne blanche de séparation de paragraphes. | classique ligne blanche de séparation de paragraphes. | ||
- | $Reponse$ | + | $\Reponse$ |
plus d'une ligne. Si l'on tient à la mise en forme (justification, | plus d'une ligne. Si l'on tient à la mise en forme (justification, | ||
- | centrage, ...), il faut utiliser une colonne de type ' | + | centrage, ...), il faut utiliser une colonne de type ''p'', dans laquelle on |
introduira la commande de formattage désirée. | introduira la commande de formattage désirée. | ||
- | Le problème est alors que les commandes '' | + | Le problème est alors que les commandes '' |
- | et '' | + | et '' |
| | ||
(ou au moins leur définition de '' | (ou au moins leur définition de '' | ||
'' | '' | ||
- | passage à la ligne dans la cellule. La commande '' | + | passage à la ligne dans la cellule. La commande '' |
est équivalente à '' | est équivalente à '' | ||
celle-ci pour indiquer la fin d'une ligne du tableau. | celle-ci pour indiquer la fin d'une ligne du tableau. | ||
- | En combinant tout ceci et l' | + | En combinant tout ceci avec le package [[ctanpkg> |
- | permet de spécifier dans la définition d'une colonne une commande | + | dans la définition d'une colonne une commande qui sera systématique appliquée |
- | qui sera systématique appliquée au contenu de chacune des cellules de | + | au contenu de chacune des cellules de cette colonne (même technique que |
- | cette colonne (même technique que dans~\vref{colfont}), on obtient | + | [[3_composition: |
- | l' | + | on peut écrire ceci: |
- | \DeleteShortVerb{\|} | ||
- | % 1 | ||
- | %23456789012345678901234567890123456789012345678901234567890 | ||
- | |||
- | Passer à la ligne dans une cellule\label{extabnl} | ||
<code latex> | <code latex> | ||
- | |||
\makeatletter | \makeatletter | ||
\newcommand\justify{% | \newcommand\justify{% | ||
Ligne 61: | Ligne 55: | ||
</ | </ | ||
- | \MakeShortVerb{\|} | + | qui donne après compilation: |
+ | |||
+ | < | ||
+ | \documentclass[french]{article} | ||
+ | \usepackage{lmodern} | ||
+ | \usepackage{array} | ||
+ | \usepackage{babel} | ||
+ | |||
+ | \makeatletter | ||
+ | \newcommand\justify{% | ||
+ | \let\\\@centercr | ||
+ | \rightskip\z@skip | ||
+ | \leftskip\z@skip} | ||
+ | \makeatother | ||
+ | |||
+ | \begin{document} | ||
+ | \thispagestyle{empty} | ||
+ | |||
+ | \begin{tabular}{|l> | ||
+ | \hline | ||
+ | LTL & Logique du temps linéaire : cette logique | ||
+ | permet d' | ||
+ | exécution du système. \\ | ||
+ | Le model checking et la satisfaisabilité | ||
+ | sont alors PSPACE-complets. | ||
+ | \tabularnewline[3mm] | ||
+ | CTL & Logique du temps arborescent : cette logique | ||
+ | exprime des propriétés sur l' | ||
+ | toutes les exécutions possibles. \\ | ||
+ | Le model checking est P-complet, mais la | ||
+ | satisfaisabilité est EXPTIME-complète. | ||
+ | \tabularnewline | ||
+ | \hline | ||
+ | \end{tabular} | ||
+ | \end{document} | ||
+ | </ | ||
+ | {{htmlmetatags> | ||
+ | metatag-og: | ||
+ | metatag-og: | ||
+ | }} | ||