Commit 917e0bcb authored by Dario Pinto's avatar Dario Pinto
Browse files

fix tag for correct alt-ergo footer

parent 557cb247
......@@ -2,7 +2,7 @@ title=Alt-Ergo @ OCamlPro: Two months later
authors=Mohamed Iguernlala
date=2013-10-02
category=Formal Methods
tags=alt ergo
tags=alt-ergo
As announced in [a previous post](/blog/2013_09_04_ocamlpro_highlights_august_2013), I joined OCamlPro at the beginning of September and I started working on Alt-Ergo. Here is a report presenting the tool and the work we have done during the two last months.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment