User:Mathieu/Test: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older edit
imported>Mathieu
imported>Mathieu
 
(3 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 = User Documentation
|content = Main Page/User Documentation
|link = [[Template:Main Page/User Documentation|Modifier]]
}}
<!-- ============================================= -->
|style="padding:4px;font-size:1px"|&nbsp;
|width="50%" valign="top"|
<!-- ============================================= -->
{{Main Page/Frame
|title = Developer Documentation
|content = Main Page/Developer Documentation
|link = [[Template:Main Page/Developer Documentation|Modifier]]
}}
<!-- ============================================= -->
{{Main Page/Frame
|title = News
|content = News
|link = {{nobr|[[Template:News/Archives|Archives]] ·}} [[Template:News|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

Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Mathieu/Test&oldid=10804’