Quellverzeichnis products/Sources/formale Sprachen/C/Gnome/testsuite/tools/simplify-3to4/

actionbar.expected         actionbar.ui         assistant.expected         assistant.ui         bin.expected         bin.ui         box.expected         box.ui         checkbutton.expected         checkbutton.ui         dialog.expected         dialog.ui         fixed.expected         fixed.ui         grid.expected         grid.ui         gtkfilechooserdialog.expected         gtkfilechooserdialog.ui         headerbar.expected         headerbar.ui         image.expected         image.ui         nm-crash.expected         nm-crash.ui         notebook.expected         notebook.ui         office-runner.expected         office-runner.ui         overlay.expected         overlay.ui         paned.expected         paned.ui         popover.expected         popover.ui         scale.expected         scale.ui         separator.expected         separator.ui         stack.expected         stack.ui         toolbar.expected         toolbar.ui

Wurzel Suchen PVS Prover Isabelle Prover NIST Cobol Testsuite Cephes Mathematical Library Vienna Development Method Haftungshinweis Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert. Bemerkung: Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.