Changes between Version 43 and Version 44 of WikiStart

Timestamp:

Oct 30, 2012, 7:57:32 PM (6 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -80 +80 @@
  * [S14]        Release of the !SkeTo Library version 1.X
  * [S15]        Release of the OSL Library version 1.Y
- * [P16]        Report “Efficient C++ MetaProgrammed Algorithmic Skeleton Libraries”
+ * [P16]        Report “Efficient C++ Meta-Programmed Algorithmic Skeleton Libraries”
  * [S17]        Release of the !SkeTo Library version 1.X'
  * [S18]        Release of the OSL Library version 1.Y'
@@ -104 +104 @@
  * [P35]        Report "Mechanized semantics of C-light-MT"
  * [P36]        Report "Compiling ASC into C-light-MT"
- * [S37]        CompCert x86MT
- * [P38]        Report "CompCert x86MT"
+ * [S37]        !CompCert x86MT
+ * [P38]        Report "!CompCert x86MT"
 
 == Documents ==