Search results
From Event-B
Jump to navigationJump to searchCreate the page "Preferences" on this wiki! See also the search results found.
Page title matches
File:Preferences menu.png Shows how to reach preferences.(863 × 576 (79 KB)) - 20:50, 30 April 2020File:Smt solvers preferences page.png Shows how to reach SMT Solvers preferences page.(869 × 417 (63 KB)) - 20:50, 30 April 2020
Page text matches
File:Keyboard preferences.jpg RODIN Keyboard Preferences(939 × 635 (166 KB)) - 20:50, 30 April 2020File:SMT configurations.png SMT configurations preferences page(964 × 371 (72 KB)) - 20:49, 30 April 2020File:SMT translation.png SMT Translation preferences page(741 × 371 (51 KB)) - 20:50, 30 April 2020File:Preferences menu.png Shows how to reach preferences.(863 × 576 (79 KB)) - 20:50, 30 April 2020File:Smt solvers preferences page.png Shows how to reach SMT Solvers preferences page.(869 × 417 (63 KB)) - 20:50, 30 April 2020File:Rodin 3.2 colors.png Rodin Editor from Rodin 3.2 now handles color preferences.(1,570 × 880 (213 KB)) - 20:49, 30 April 2020