]> gitweb.michael.orlitzky.com - mjotex.git/search
More fiddling to get consistent spacing in proof-by-cases environments.