{"id":121,"date":"2011-09-13T14:34:09","date_gmt":"2011-09-13T13:34:09","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=121"},"modified":"2015-06-13T11:01:22","modified_gmt":"2015-06-13T10:01:22","slug":"version-atelier-b-3-7-1","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/download\/history-of-the-versions\/version-atelier-b-3-7-1\/","title":{"rendered":"Version – Atelier B 3.7.1"},"content":{"rendered":"
Date of diffusion : 07\/03\/2008<\/strong> Version 3.7.1 corrects certain anomalies present in version3.7. The corrections introduced are as follows:<\/p>\n Date of diffusion : 07\/03\/2008 New Functionalities \/ Characteristics: Version 3.7.1 corrects certain anomalies present in version3.7. The corrections introduced are as follows: Graphics interface: duringexit from the proof interface, the dialogue box asking if the demonstration should be saved blocked the interface. EMACSPRI interface: compatibility problems with version 3.7 have been corrected. Prover: the […]<\/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