Yes, they can checkout using the pulldown menu in the web interface, download
the file to their local disk using a right-click on the item, edit the local
copy, upload the local copy back using their method of choice, and checkin using
the pulldown menu. Nothing more automated than this, unless their tool of
choice is extensible and they are up for custom coding...