--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on November 2009 ---
Hello Boris, Le mar. 03 nov. 2009 15:10:17 CET, "Hollas Boris (CR/AEY1)" <Boris.Hollas at de.bosch.com> a ?crit : > Which of the version for windows include why and Jessie? > This the main difference between Frama-C Beryllium 20090901 + Why 2.19 and Frama-C Beryllium 20090902 + Why 2.21. The jessie plugin is now part of Why (where it is called frama-c-plugin). Both possibilities mentioned by Julien thus include the jessie plugin, but it has to be compiled from sources, as the whole Why distribution. Using the Frama-C binary distribution will in addition ensure you that lablgtk2 gets installed too, so that you'll be able to use gwhy. HTH, -- E tutto per oggi, a la prossima volta. Virgile