I have a question concerning the via and the solder mask. Actually I understood how to use the parameters in the DRC, but I would like to define the solder mask inside the via like in the first photo. But with the DRC I couldn't find a different way than created a circle in the tstop layer.
The reason why is that the manufacturer asked me to do a solder mask with a radius -25µm, as my vias have a diameter of 0.65mm the solder mask should have a diameter of 0.65mm - 25µm.
I'm using eagle 8.3.2