Difference between r1.2 and the current@@ -1 +1 @@goto ["TeX Live"] #redirect TeX Live Redirect pageTeX Live