Discusses different types: [1]
Adjusting infinite focus system: [2]
JM microscope is finite focus system. Basically a fine pitch leadscrew slides larger one instead of turning it