2016-04-17 wenzelm tuned;
2016-04-15 Lars Hupel add "slow" group to descendants of HOL-Proofs
2016-04-15 wenzelm merged
2016-04-15 wenzelm support for Poly/ML entity ids;
2016-04-15 wenzelm clarified PIDE reports;
2016-04-15 wenzelm clarified rendering wrt. hyperlinks;
2016-04-15 wenzelm tuned -- no position;
2016-04-15 wenzelm clarified focus visibility;
2016-04-15 wenzelm tuned rendering;
2016-04-14 wenzelm highlighting of entity def/ref positions wrt. cursor;
2016-04-14 wenzelm background color for entity def/ref focus;
2016-04-14 wenzelm tuned;
2016-04-14 wenzelm more silence;
2016-04-14 wenzelm avoid misleading Simplifier trace in quickcheck, notably in auto quickcheck;
2016-04-14 wenzelm tuned;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 tip