diff options
author | Çagdas Bozman <bozman.cagdas@gmail.com> | 2012-03-30 00:20:32 -0700 |
---|---|---|
committer | Çagdas Bozman <bozman.cagdas@gmail.com> | 2012-03-30 00:20:32 -0700 |
commit | a8b5ee021dcae1eaae9d0e90951758ebad3bc4e0 (patch) | |
tree | b2c9d6bc4d2df713fb5391a0f83d252681a9d582 | |
parent | e812df5726852f43998734ba99913d3343bece5f (diff) | |
parent | 80ccd0a0b9d0f2aedf48b2e3c95515d7fd8a4207 (diff) |
Added news
-rw-r--r-- | sources/news.page.html | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/sources/news.page.html b/sources/news.page.html index 9c0e007..924d4c1 100644 --- a/sources/news.page.html +++ b/sources/news.page.html @@ -14,6 +14,15 @@ <h1>News</h1> <div class="announce"> +<div class="announce_title">PROMELA library</div> +<div class="announce_date">Mar 26, 2012</div> +<div class="software"> +The PROMELA OCaml library provides types to create, manipulate and to + reason about PROMELA programs. The OCaml data structures can... <a href="https://forge.ocamlcore.org/projects/promela/">Read more</a> +</div> +</div> + +<div class="announce"> <div class="announce_title">Zarith 1.1</div> <div class="announce_date">Mar 24, 2012</div> <div class="software"> |