in the military art, the allotting separate quarters to each regiment.