Difference between revisions of "User:Mathieu/Test"

From Event-B
Jump to navigationJump to search
imported>Mathieu
imported>Mathieu
 
(One intermediate revision by the same user not shown)
Line 19: Line 19:
  
 
==Main page tests==
 
==Main page tests==
<div id="accueil_title">{{Main Page/title}}</div>
 
<!-- ===================================================== -->
 
{|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"|
 
  
<!-- ============================================= -->
+
Try : <math<noinclude></noinclude>> {{{1}}} </math<noinclude></noinclude>> in a template
{{Main Page/Frame
 
|title = User Documentation
 
|content = Main Page/User Documentation
 
|link = [[Template:Main Page/User Documentation|Modifier]]
 
}}
 
<!-- ============================================= -->
 
{{Main Page/Frame
 
|title = Developer Documentation
 
|content = Main Page/Developer Documentation
 
|link = [[Template:Main Page/Developer Documentation|Modifier]]
 
}}
 
<!-- ============================================= -->
 
|style="padding:4px;font-size:1px"|&nbsp;
 
|width="50%" valign="top"|
 
<!-- ============================================= -->
 
{{Main Page/Frame
 
|title = News
 
|content = News
 
|link = {{nobr|[[Template:News/Archives|Archives]] ·}} [[Template:News|Modifier]]
 
}}
 
<!-- ============================================= -->
 
{{Main Page/Frame
 
|title = Community
 
|content = Main Page/Community
 
|link = [[Template:Main Page/Community|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