{"id":114,"date":"2011-09-13T14:28:53","date_gmt":"2011-09-13T13:28:53","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=114"},"modified":"2015-06-13T11:01:22","modified_gmt":"2015-06-13T10:01:22","slug":"version-atelier-b-4-0-beta","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-4-0-beta\/","title":{"rendered":"Version – Atelier B 4.0 beta"},"content":{"rendered":"
Date of diffusion: september 2008 <\/strong> Date of diffusion: september 2008 New Functionalities \/ Characteristics: New supported operating systems: Mac OS X and Windows (in addition to Linux and Solaris) New graphical interface proposing: the integration of the parallelisor (tasks are distributed over networked computers) a redesigned proof interface an editor with navigation and automatic completion Integration of the well-definedness proof […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":66,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"amp_status":""},"yoast_head":"\n
\nNew Functionalities \/ Characteristics:<\/strong><\/p>\n\n
\n