Sun, 30 Nov 2014 15:11:50 +0100 more accurate context;
wenzelm [Sun, 30 Nov 2014 15:11:50 +0100] rev 59069
more accurate context;
Sun, 30 Nov 2014 14:43:00 +0100 update_cartouches;
wenzelm [Sun, 30 Nov 2014 14:43:00 +0100] rev 59068
update_cartouches;
Sun, 30 Nov 2014 14:02:48 +0100 tuned signature;
wenzelm [Sun, 30 Nov 2014 14:02:48 +0100] rev 59067
tuned signature;
Sun, 30 Nov 2014 13:15:04 +0100 tuned signature;
wenzelm [Sun, 30 Nov 2014 13:15:04 +0100] rev 59066
tuned signature;
Sun, 30 Nov 2014 12:46:16 +0100 tuned signature -- prefer Input.source;
wenzelm [Sun, 30 Nov 2014 12:46:16 +0100] rev 59065
tuned signature -- prefer Input.source;
Sun, 30 Nov 2014 12:24:56 +0100 more abstract type Input.source;
wenzelm [Sun, 30 Nov 2014 12:24:56 +0100] rev 59064
more abstract type Input.source;
Sat, 29 Nov 2014 14:43:10 +0100 encode text with control symbols;
wenzelm [Sat, 29 Nov 2014 14:43:10 +0100] rev 59063
encode text with control symbols;
Sat, 29 Nov 2014 14:42:32 +0100 proper HTML.encode;
wenzelm [Sat, 29 Nov 2014 14:42:32 +0100] rev 59062
proper HTML.encode;
Wed, 26 Nov 2014 15:59:46 +0100 prefer abbrev for is_unit
haftmann [Wed, 26 Nov 2014 15:59:46 +0100] rev 59061
prefer abbrev for is_unit
Wed, 26 Nov 2014 15:46:19 +0100 do not conceal inductive predicate names properly, following 4a3747517552
haftmann [Wed, 26 Nov 2014 15:46:19 +0100] rev 59060
do not conceal inductive predicate names properly, following 4a3747517552
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip