- vfide no longer asks to save tabs that have not been saved before and that are not relevant to the program being verified (such as the default untitled tab)
- vfide no longer asks to save tabs that have not been saved before and that are not relevant to the program being verified (such as the default untitled tab)

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast