Beta 1.13b7 is out. Changed to use tlmgr's output to get remote/local catalogue versions, which is much faster than what I was doing in the previous beta (also released today). Changes since 1.12: - font can be set in log window - fixed a crash when the environment is broken - font panel updates properly when changing fonts - new version number display