--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on January 2015 ---
Hi again, Apparently, the .js file used for "Try Alt-Ergo 1.00" on http://alt-ergo.ocamlpro.com/try.php was not working. It's now fixed ! Regards, Mohamed. Le 29/01/2015 12:04, Iguernelala Mohamed a ?crit : > Dear all, > > We are pleased to announce a new private release of Alt-Ergo (version > 1.00). > A quick comparison and the main novelties (detailed Change Log) of this > version can be found in the following blog post: > > http://www.ocamlpro.com/blog/2015/01/29/major-private-release-alt-ergo-1.00.html > > > Best regards, > Mohamed Iguernelala. -- Senior R&D Engineer, OCamlPro Research Associate, VALS team, LRI. http://www.iguer.info