2006-11-23 tuned;
wenzelm [Thu, 23 Nov 2006 22:38:32 +0100] rev 21507
tuned;
2006-11-23 prefer Proof.context over Context.generic;
wenzelm [Thu, 23 Nov 2006 22:38:30 +0100] rev 21506
prefer Proof.context over Context.generic;
2006-11-23 prefer Proof.context over Context.generic;
wenzelm [Thu, 23 Nov 2006 22:38:29 +0100] rev 21505
prefer Proof.context over Context.generic; tuned;
2006-11-23 tuned proofs;
wenzelm [Thu, 23 Nov 2006 22:38:28 +0100] rev 21504
tuned proofs;
2006-11-23 Accept URLs of form file:/home... also.
aspinall [Thu, 23 Nov 2006 22:14:26 +0100] rev 21503
Accept URLs of form file:/home... also.
2006-11-23 prefer antiquotations over LaTeX macros;
wenzelm [Thu, 23 Nov 2006 20:34:21 +0100] rev 21502
prefer antiquotations over LaTeX macros;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip