Sat, 23 Mar 2019 20:12:50 +0100 NEWS for proper Isabelle version;
wenzelm [Sat, 23 Mar 2019 20:12:50 +0100] rev 69960
NEWS for proper Isabelle version;
Sat, 23 Mar 2019 20:12:37 +0100 obsolete;
wenzelm [Sat, 23 Mar 2019 20:12:37 +0100] rev 69959
obsolete;
Sat, 23 Mar 2019 19:50:03 +0100 proper latex setup;
wenzelm [Sat, 23 Mar 2019 19:50:03 +0100] rev 69958
proper latex setup;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip