{"id":1331,"date":"2015-02-20T10:47:42","date_gmt":"2015-02-20T09:47:42","guid":{"rendered":"http:\/\/www.atelierb.eu\/?p=1331"},"modified":"2015-06-13T11:10:19","modified_gmt":"2015-06-13T10:10:19","slug":"bxml-errors-atelier-b-4-2-free","status":"publish","type":"post","link":"https:\/\/www.atelierb.eu\/en\/2015\/02\/20\/bxml-errors-atelier-b-4-2-free\/","title":{"rendered":"Bxml errors with Atelier B 4.2 Free"},"content":{"rendered":"
New bxml tool included in atelier B 4.2 Free is not working properly as required resources are missing. When used, error messages “Bxml error for …” are displayed.<\/p>\n
The turnaround consists in adding the following lines:<\/p>\n
ATB*ATB*Proof_Obligations_Generator_NG_Command: pog\nATB*ATB*Bxml_Command: bxml<\/pre>\nto the AtelierB file.<\/p>\n
A new version 4.2.1 is being cooked and should be available for download next week.<\/p>\n","protected":false},"excerpt":{"rendered":"
New bxml tool included in atelier B 4.2 Free is not working properly as required resources are missing. When used, error messages “Bxml error for …” are displayed. The turnaround consists in adding the following lines: ATB*ATB*Proof_Obligations_Generator_NG_Command: pog ATB*ATB*Bxml_Command: bxml to the AtelierB file. A new version 4.2.1 is being cooked and should be available […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"amp_status":""},"categories":[4],"tags":[],"yoast_head":"\n
Bxml errors with Atelier B 4.2 Free | Atelier B<\/title>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n