July 23, 2014
1:03 p.m.
Maybe the new time.tab could get the name region.tab. Reason: - it is a list of geographical regions - it is not a list of time At the same time there would be a better alignment between documentation (Theory-file) and file names. It would also address Mark Davis'
"screwing around with files that would just cause software to break. It's just a file name."
The old file zone.tab would be kept, and the file time.tab is new anyway. -- Tobias Conradi Rheinsberger Str. 18 10115 Berlin Germany http://tobiasconradi.com