{"id":90,"date":"2011-12-09T08:00:00","date_gmt":"2011-12-09T07:00:00","guid":{"rendered":"https:\/\/www.formalmind.com\/blog\/prob-134-released\/"},"modified":"2022-04-11T18:58:55","modified_gmt":"2022-04-11T16:58:55","slug":"prob-134-released","status":"publish","type":"post","link":"https:\/\/www.formalmind.com\/de\/blog\/prob-134-released\/","title":{"rendered":"ProB 1.3.4 freigegeben"},"content":{"rendered":"<p>ProB 1.3.4 ist verf\u00fcgbar. Die Highlights dieser Version sind:<\/p>\n<ul>\n<li>eine \u201cAuswertungsansicht\u201d, um Formeln und Werte zu untersuchen,<\/li>\n<li>ein interaktives \u201cEval\u201d-Fenster, um Ausdr\u00fccke und Pr\u00e4dikate auszuwerten,<\/li>\n<li>Unterst\u00fctzung f\u00fcr CSP-Assertionenpr\u00fcfung,<\/li>\n<li>ein verbesserter Editor, z. B. mit Syntaxhervorhebung w\u00e4hrend der Eingabe,<\/li>\n<li>64-Bit-Versionen f\u00fcr Mac und Linux sind jetzt verf\u00fcgbar.,<\/li>\n<li>mehrere Leistungsverbesserungen.<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>Geh zu dem <a href=\"http:\/\/www.stups.uni-duesseldorf.de\/ProB\/index.php5\/Download\">ProB Download-Seite<\/a>.<\/p>","protected":false},"excerpt":{"rendered":"<p>ProB 1.3.4 ist verf\u00fcgbar. Die Highlights dieser Version sind: eine \u201cAuswertungsansicht\u201d zur Inspektion von Formeln und Werten, ein interaktives \u201cEval\u201d-Fenster zur Auswertung von Ausdr\u00fccken und Pr\u00e4dikaten, Unterst\u00fctzung f\u00fcr CSP-Assertion-Checking, ein verbesserter Editor, z.B. mit On-the-fly-Syntax-Highlighting, 64-Bit-Versionen f\u00fcr Mac und Linux sind jetzt verf\u00fcgbar, verschiedene Leistungsverbesserungen.   Weiter zum...<\/p>","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"single-no-separators","format":"standard","meta":{"_kadence_starter_templates_imported_post":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_kad_post_classname":"","footnotes":""},"categories":[13],"tags":[],"class_list":["post-90","post","type-post","status-publish","format-standard","hentry","category-blog"],"_links":{"self":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/90","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/comments?post=90"}],"version-history":[{"count":0,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/90\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/media?parent=90"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/categories?post=90"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/tags?post=90"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}