berghofe [Sun, 08 Nov 2009 15:45:09 +0100] rev 33525
Repaired handling of comprehensions in "values" command.
wenzelm [Sun, 08 Nov 2009 21:00:05 +0100] rev 33524
updated functor Theory_Data, Proof_Data, Generic_Data;
wenzelm [Sun, 08 Nov 2009 19:15:37 +0100] rev 33523
modernized structure Reorient_Proc;
explicit merge of constituent functions, avoids exponential blowup when traversing the import graph;
adapted Theory_Data;
tuned;
wenzelm [Sun, 08 Nov 2009 18:43:42 +0100] rev 33522
adapted Theory_Data;
tuned;
wenzelm [Sun, 08 Nov 2009 18:43:22 +0100] rev 33521
adapted Theory_Data;
handle Symtab.DUP during actual merge;
wenzelm [Sun, 08 Nov 2009 18:42:57 +0100] rev 33520
tuned;
wenzelm [Sun, 08 Nov 2009 16:30:41 +0100] rev 33519
adapted Generic_Data, Proof_Data;
tuned;
wenzelm [Sun, 08 Nov 2009 16:28:18 +0100] rev 33518
adapted Generic_Data;
proper merge of fst/fst and snd/snd;
wenzelm [Sun, 08 Nov 2009 16:27:50 +0100] rev 33517
modernized/simplified functor Theory_Data, Proof_Data, Generic_Data: eliminated Pretty.pp, discontinued mutable data;
wenzelm [Sun, 08 Nov 2009 14:44:31 +0100] rev 33516
added "declaration (pervasive)";