Difference between pages "Proposals of Changes to the Mathematical Language Specification" and "Qualitative Probability User Guide"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Jrloria |
imported>Son m |
||
Line 1: | Line 1: | ||
− | + | [[User:Son]] at '''ETH Zurich''' is in charge of the [[Qualitative Probability]] plug-in. | |
+ | {{TOCright}} | ||
− | + | == Introduction == | |
− | |||
− | + | ||
+ | == Installing and Updating == | ||
+ | === Setup === |
Revision as of 11:05, 23 November 2011
User:Son at ETH Zurich is in charge of the Qualitative Probability plug-in.