Changes between Version 20 and Version 21 of WikiStart


Ignore:
Timestamp:
Oct 29, 2010, 10:39:08 AM (8 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v20 v21  
    1919=== The BSML Library === 
    2020 
    21  * Current version : BSML [http://frederic.loulergue.eu/research/bsmllib/bsml-0.4.html v0.4] 
    22  * Old versions : [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.26.html v0.26], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.25.html v0.25], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.2.html v0.2], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.1.html v0.1] 
     21 * Current version : BSML [http://frederic.loulergue.eu/research/bsmllib/bsml-0.5.html v0.5] 
     22 * Old versions : [http://frederic.loulergue.eu/research/bsmllib/bsml-0.4.html v0.4] [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.26.html v0.26], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.25.html v0.25], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.2.html v0.2], [http://frederic.loulergue.eu/research/bsmllib/bsmllib-0.1.html v0.1] 
    2323 
    2424=== Semantics and Verification ===