Modification des blocs Dire; DireT, Penser, PenserT

[mp-scratch.git] / src / LATEXScratch.mp

diff --git a/src/LATEXScratch.mp b/src/LATEXScratch.mp
index 8e88b3c..3ec7f90 100644 (file)
--- a/src/LATEXScratch.mp
+++ b/src/LATEXScratch.mp
@@ -11,16 +11,13 @@ vardef LATEX primary s =
   write "\usepackage[autolanguage]{numprint}" to "mptextmp.mp";
   write "\usepackage{amssymb}" to "mptextmp.mp";
   write "\usepackage{xcolor}" to "mptextmp.mp";
-%  write "\definecolor{LightGreen}{rgb}{0.625,1,0.250}" to "mptextmp.mp";
   write "\definecolor{DarkGreen}{rgb}{0.359,0.715,0.070}" to "mptextmp.mp";
   write "\definecolor{dDarkGreen}{rgb}{0.328,0.656,0.0625}" to "mptextmp.mp";
   write "\definecolor{mLightBlue}{rgb}{0.266,0.387,0.762}" to "mptextmp.mp";
-%  write "\definecolor{LightBlue}{rgb}{0.172,0.645,0.883}" to "mptextmp.mp";%0.75,0.875,1
   write "\definecolor{DarkBlue}{rgb}{0.289,0.422,0.828}" to "mptextmp.mp";%0.5,0.75,1
   write "\definecolor{cDarkBlue}{rgb}{0.172,0.645,0.883}" to "mptextmp.mp";
   write "\definecolor{cLightBlue}{rgb}{0.156,0.590,0.809}" to "mptextmp.mp";
   write "\definecolor{dDarkBlue}{rgb}{0,0.375,0.75}" to "mptextmp.mp";
-  %write "\definecolor{LightViolet}{rgb}{0.875,0.75,1}" to "mptextmp.mp";
   write "\definecolor{LightPurple}{rgb}{0.54,0.332,0.84}" to "mptextmp.mp";%0.75,0.5,1
   write "\definecolor{DarkPurple}{rgb}{0.492,0.305,0.77}" to "mptextmp.mp";
   write "\definecolor{DdarkPurple}{rgb}{0.348,0.277,0.691}" to "mptextmp.mp";