diff options
Diffstat (limited to 'sources')
| -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"> |