--- a/src/Pure/pure.ML Sun Jun 06 14:20:03 2004 +0200 +++ b/src/Pure/pure.ML Sun Jun 06 18:35:11 2004 +0200 @@ -19,7 +19,6 @@ Calculation.setup @ SkipProof.setup @ AxClass.setup @ - Latex.setup @ Present.setup @ ProofGeneral.setup @ Codegen.setup @