-
!394
-
Improve CE model parsing 4 of 4 checklist items completed!396
-
!401
-
Compile Why3 tools as plugins (fix #485, #478, #507) 4 of 5 checklist items completed
-
Remove builtin values in why3.conf 5 of 5 checklist items completed!7 1.3.0