User:Mathieu/Test: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
mNo edit summary
imported>Mathieu
 
(6 intermediate revisions by the same user not shown)
Line 19: Line 19:


==Main page tests==
==Main page tests==
<div id="accueil_title">{{Main Page/title}}</div>
 
<!-- ===================================================== -->
Try : <math<noinclude></noinclude>> {{{1}}} </math<noinclude></noinclude>> in a template
{|width="100%" cellspacing="0" cellpadding="0" style="margin-top:0.6em"
|-
|width="50%" valign="middle" style="border:1px solid #CCF7CC;background:#EEFFEE;padding:7px"|
{{Encyclopédie recherche}}
|style="padding:4px;font-size:1px"|&nbsp;
|width="50%" valign="middle" style="border:1px solid #DDDDF7;background:#F7F7FF;padding:7px"|
{{Encyclopédie participation}}
|-
|style="font-size:0.6em;line-height:0.6em"|&nbsp;
|-
| valign="top"|
<!-- ============================================= -->
{{Main page/Frame
|title = [[Portail:Main Page|Portails thématiques]]
|content = Encyclopédie une colonne
|link = [[Template:Encyclopédie une colonne|Modifier]]
}}
<!-- ============================================= -->
{{Main Page/Frame
|title = Image du jour
|content = Wikipédia:Image du jour/{{CURRENTDAY}} {{CURRENTMONTHNAME}} {{CURRENTYEAR}}
|link = [[Wikipédia:Image du jour|Modifier / Voir les images]]
}}
<!-- ============================================= -->
|style="padding:4px;font-size:1px"|&nbsp;
|width="50%" valign="top"|
<!-- ============================================= -->
{{Main Page/Frame
|title = Lumière sur…
|content = Wikipédia:Main PageLumièreSur/{{CURRENTDAY}} {{CURRENTMONTHNAME}} {{CURRENTYEAR}}
|link = [[Wikipédia:Main PageLumièreSur|Modifier / Voir les articles]]
}}
<!-- ============================================= -->
{{Main Page/Frame
|title = Le saviez-vous&nbsp;?
|content = Le saviez-vous ?
|link = {{nobr|[[Template:Le saviez-vous ?/Archives|Archives]] ·}} [[Template:Le saviez-vous ?|Modifier]]
}}
<!-- ============================================= -->
{{Main Page/Frame
|title = Actualités et événements
|content = Main Page actualité
|link = {{nobr|<big>[[Image:Wikinews-logo.svg|20px]] [[n:Main Page|Les actualités sur Wikinews]]</big> ·}} {{nobr|[[{{CURRENTMONTHNAME}} {{CURRENTYEAR}}|Chronologie {{CURRENTMONTHNAME}}]] [[{{CURRENTYEAR}}]]}} {{nobr|[[{{CURRENTDAY}} {{CURRENTMONTHNAME}}|Éphéméride du {{CURRENTDAY}} {{CURRENTMONTHNAME}}]] ·}}<br />[[Template:Main Page actualité|Modifier]]
}}
<!-- ============================================= -->
|}

Latest revision as of 14:24, 23 February 2009

(-E)*\ldots*(-F)\;==\; E*\ldots*F   (if an even number of -)
(-E)*\ldots*(-F)\;==\; -\,(E*\ldots*F)   (if an odd number of -)


\frac{\ }{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}

\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}} HYP
\frac{}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}} HYP

Main page tests

Try : <math> {{{1}}} </math> in a template