Difference between pages "TextEditor Screenshots" and "File:Event-B explorer 0.PNG"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Fabian
 
(Maintenance script uploaded File:Event-B explorer 0.PNG)
 
Line 1: Line 1:
{| align="right"
 
| __TOC__
 
|}
 
  
 
Some impression of the TextEditor...
 
 
=====Machine 'm0' from example 'maximum' =====
 
 
[[Image:Screen_max_m0.png]]
 

Latest revision as of 20:50, 30 April 2020